diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-06-11 23:40:47 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-06-11 23:40:47 +0000 |
| commit | cdb023736199d99d8202f248793cd465bfdae4fb (patch) | |
| tree | 4cb426e78d6098cc54f723c528a1e62be55598bd /test/regress/regress0/uflia/Makefile.am | |
| parent | fbbd4e966395aa3c8094ef137aa17be5f372e2b0 (diff) | |
Fix to term normalization of integer equalities. Adds a regression test that triggered it.
Diffstat (limited to 'test/regress/regress0/uflia/Makefile.am')
| -rw-r--r-- | test/regress/regress0/uflia/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/uflia/Makefile.am b/test/regress/regress0/uflia/Makefile.am index 5b095b500..bfc13ae16 100644 --- a/test/regress/regress0/uflia/Makefile.am +++ b/test/regress/regress0/uflia/Makefile.am @@ -20,7 +20,8 @@ SMT_TESTS = \ xs-09-16-3-4-1-5.delta04.smt \ error0.smt2 \ error0.delta01.smt \ - simple_cyclic2.smt2 + simple_cyclic2.smt2 \ + error30.smt # Regression tests for SMT2 inputs SMT2_TESTS = |