projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83adf1d) | patch
Added debugging output to --check-models. I've found this output quite useful while...
authorTim King <taking@cs.nyu.edu>
Wed, 21 Nov 2012 18:31:55 +0000 (18:31 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 21 Nov 2012 18:31:55 +0000 (18:31 +0000)
commit130de2a67cb3c9d4e009d921e3a60a669aedfaff
tree0b3b21b9ba1f1f5a3558cd0fe046ef305389269dtree
parent83adf1da4487fb73f149ee9c013b4afcbfb92a99commit | diff
Added debugging output to --check-models. I've found this output quite useful while debugging.
src/theory/model.cpp diff | blob | history