projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ebd4ce) | patch
Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ Google...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 14 Nov 2013 02:20:11 +0000 (21:20 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 14 Nov 2013 06:01:10 +0000 (01:01 -0500)
commite868c3d05660fe5d8dc1da8a104da850f4d101d5
tree2ff6ca26d11a5a03ed76eb740c413ca4a2d87f94tree
parent1ebd4ce25c64b1b4ea204d942512473f2ce7519ccommit | diff
Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ Google for the report and patch!
test/system/cvc3_main.cpp diff | blob | history