From 5b4c416608bda1df62e1ffe7131648a89882ddc7 Mon Sep 17 00:00:00 2001 From: Dejan Jovanović Date: Tue, 30 Oct 2012 23:22:07 +0000 Subject: delta of a model-building failure case --- test/regress/regress0/uflra/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/regress/regress0/uflra/Makefile.am') 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 -- cgit v1.2.3