projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 610c3e1) | patch
currently disabling bug486 regression. we need to discuss getValue/collectModelInfo...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 29 Jan 2013 06:07:52 +0000 (00:07 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 29 Jan 2013 06:07:52 +0000 (00:07 -0600)
commit82058d4af2f41f9236433294cd092dd5e2a2c1b9
tree4f922cfcccdd9bef3d482e0f044e6bdf6258b601tree
parent610c3e111c4bca484d94e21df46a35c55fdd6882commit | diff
currently disabling bug486 regression.  we need to discuss getValue/collectModelInfo for quantifiers more.
test/regress/regress0/Makefile.am diff | blob | history