projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 71a4f24)
model: rename some 'isfeasible...' functions to 'is_infeasible...'
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:11:21 +0000 (20:11 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:11:21 +0000 (20:11 -0800)
These functions can be more accurately described as checking
*infeasibility*, not necessarily feasibility. This helps clarify their
purpose, at least for my understanding.


No differences found
C11 Tester Tool Public Repository