projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee29e73) | patch
unconstrained regressions are now run with "make check", but with --unconstrained...
authorMorgan Deters <mdeters@gmail.com>
Wed, 6 Jun 2012 17:35:09 +0000 (17:35 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 6 Jun 2012 17:35:09 +0000 (17:35 +0000)
commitb94e9b63abdb6c3930720801474d82965196a803
treec00ef5088be870dd24fc341bc2a2d0f842bf3bfftree
parentee29e7343e0306875e8e09dda1ac58f845ac603ecommit | diff
unconstrained regressions are now run with "make check", but with --unconstrained-simp option
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/unconstrained/Makefile.am diff | blob | history