diff options
Diffstat (limited to 'test/regress/regress0/uflia/Makefile.am')
| -rw-r--r-- | test/regress/regress0/uflia/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/uflia/Makefile.am b/test/regress/regress0/uflia/Makefile.am index bfc13ae16..21479bac5 100644 --- a/test/regress/regress0/uflia/Makefile.am +++ b/test/regress/regress0/uflia/Makefile.am @@ -19,6 +19,7 @@ SMT_TESTS = \ xs-09-16-3-4-1-5.delta03.smt \ xs-09-16-3-4-1-5.delta04.smt \ error0.smt2 \ + error1.smt \ error0.delta01.smt \ simple_cyclic2.smt2 \ error30.smt |