projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c2ea3c) | patch
Add a few more regressions.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 12 Aug 2016 17:47:54 +0000 (12:47 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 12 Aug 2016 17:47:54 +0000 (12:47 -0500)
commit6c58094be960ddca3a2187081bac769da61cc2af
tree38d7c81839b0276dc6423d6a27e0586dc7105924tree
parent7c2ea3c85221fce27d8c4d2b7d41a00e103b8cf5commit | diff
Add a few more regressions.
test/regress/regress0/sets/Makefile.am diff | blob | history
test/regress/regress0/sets/card3-ground.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/cmu-inc-nlpp-071516.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/gm-inc-071516-2.smt2 [new file with mode: 0644] blob