projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b25991f) | patch
Add ability to run different regression levels with "make check"
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 25 Apr 2013 19:43:16 +0000 (15:43 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 25 Apr 2013 19:43:16 +0000 (15:43 -0400)
commita9174ce4dc3939bbe14c9aa1fd11c79c7877eb16
treeae7492a1c78f30aad35e69a0bd1658a930b2c630tree
parentb25991f4c2779c34b51cd51b943290a4a3d2a9fdcommit | diff
Add ability to run different regression levels with "make check"
test/regress/Makefile.am diff | blob | history
test/regress/Makefile.levels [new file with mode: 0644] blob