diff options
| author | lianah <lianahady@gmail.com> | 2013-11-05 20:03:49 -0500 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-11-05 20:03:49 -0500 |
| commit | ad0f78965f23b0994cac6a210650697b9a20cceb (patch) | |
| tree | b28418322c642ecf7f3d47ba356c4026c4ece4be /test/regress/regress0/uf/Makefile.am | |
| parent | 347ac2260da73297776c547f7397b33beb59cf2b (diff) | |
fixed proof regression script and added a new uf test case
Diffstat (limited to 'test/regress/regress0/uf/Makefile.am')
| -rw-r--r-- | test/regress/regress0/uf/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am index bf9a36df1..19e673fea 100644 --- a/test/regress/regress0/uf/Makefile.am +++ b/test/regress/regress0/uf/Makefile.am @@ -42,7 +42,8 @@ TESTS = \ simple.01.cvc \ simple.02.cvc \ simple.03.cvc \ - simple.04.cvc + simple.04.cvc \ + proof00.smt2 EXTRA_DIST = $(TESTS) \ mkpidgeon |