diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-18 14:24:02 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-18 14:24:02 +0000 |
| commit | e5dc8a6713d21adb9ccf46bfe4f02f9a0337d47a (patch) | |
| tree | cfc1304466d51c96198bfb008aa7636fe592395d /test/regress/regress0/Makefile.am | |
| parent | f1ad95cdc8b678a51a7d69f7c19712d267fe9f4c (diff) | |
removing failing regression
Diffstat (limited to 'test/regress/regress0/Makefile.am')
| -rw-r--r-- | test/regress/regress0/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index db9b4d07f..db3e1efeb 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -97,8 +97,7 @@ BUG_TESTS = \ bug239.smt \ buggy-ite.smt2 \ bug303.smt2 \ - bug310.cvc \ - bug339.smt2 + bug310.cvc TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS) |