projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f82e4c) | patch
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)
commit71a4f2447c7f0a20120da4e751d78cdeb4495ddd
treee01fcaef0da14ce8b704769844a8d233417463f0tree | snapshot
parent8f82e4c697b8f4ca7b3d4e79ace1b9cf1dc259d2commit | diff
model: rename some 'isfeasible...' functions to 'is_infeasible...'

These functions can be more accurately described as checking
*infeasibility*, not necessarily feasibility. This helps clarify their
purpose, at least for my understanding.
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository