diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-30 23:22:07 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-30 23:22:07 +0000 |
| commit | 5b4c416608bda1df62e1ffe7131648a89882ddc7 (patch) | |
| tree | 3cb4a1ed3070b4310369d89187e0f31c7ce65071 /test/regress/regress0/uflra/Makefile.am | |
| parent | 9a8a3449b130b0154ae55ad223f362c6d662d6ce (diff) | |
delta of a model-building failure case
Diffstat (limited to 'test/regress/regress0/uflra/Makefile.am')
| -rw-r--r-- | test/regress/regress0/uflra/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress0/uflra/Makefile.am b/test/regress/regress0/uflra/Makefile.am index 57c56c01b..289569b1a 100644 --- a/test/regress/regress0/uflra/Makefile.am +++ b/test/regress/regress0/uflra/Makefile.am @@ -33,6 +33,8 @@ SMT_TESTS = \ pb_real_10_0200_10_29.smt \ incorrect2.smt \ incorrect1.smt \ + incorrect1.delta01.smt \ + incorrect1.delta02.smt error1.smt # Regression tests for SMT2 inputs |