projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdba2bf) | patch
Fix 'make regress' (#1683)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 21 Mar 2018 23:51:56 +0000 (16:51 -0700)
committerGitHub <noreply@github.com>
Wed, 21 Mar 2018 23:51:56 +0000 (16:51 -0700)
commit6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307
tree8d4f4ebeb7971bbb02f0404e56f9979a3a13f599tree
parentbdba2bf65eb2f68daa1a5e488c4e50f5dac1b312commit | diff
Fix 'make regress' (#1683)

Commit b8db52f9bad5b1053810c93f0067de8423349da3 removed the option to do "make regress" (I only tested with "make regressX" and "make check"). This commit reenables "make regress".
test/regress/Makefile.am diff | blob | history