diff options
Diffstat (limited to 'test/regress/regress2/Makefile.am')
| -rw-r--r-- | test/regress/regress2/Makefile.am | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/test/regress/regress2/Makefile.am b/test/regress/regress2/Makefile.am index e0524b694..028eb4cc8 100644 --- a/test/regress/regress2/Makefile.am +++ b/test/regress/regress2/Makefile.am @@ -23,9 +23,14 @@ TESTS = bmc-ibm-1.smt \ friedman_n6_i4.smt \ hole9.cvc \ qwh.35.405.shuffled-as.sat03-1651.smt \ - eq_diamond14.smt - -EXTRA_DIST = $(TESTS) + eq_diamond14.smt \ + incorrect1.smt \ + incorrect2.smt \ + bug497.cvc \ + pp-regfile.smt + +EXTRA_DIST = $(TESTS) \ + pp-regfile.smt.expect #if CVC4_BUILD_PROFILE_COMPETITION #else |