projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2163539) | patch
broken formula
authorMorgan Deters <mdeters@gmail.com>
Tue, 8 Dec 2009 19:00:53 +0000 (19:00 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 8 Dec 2009 19:00:53 +0000 (19:00 +0000)
commita85aa996535fb86009c1869f0daa1c27c980a566
treecbd498f54c5a4e2d9bf5e50a4d63f26f0d5569edtree
parent2163539a8b839acf98bda0e1a65f1fcca5232fb2commit | diff
broken formula
test/regress/simple2.smt [new file with mode: 0644] blob