diff options
Diffstat (limited to 'test/regress/Makefile.tests')
-rw-r--r-- | test/regress/Makefile.tests | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index f41a3a15f..56965f272 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -989,6 +989,7 @@ REG1_TESTS = \ regress1/arith/mod.02.smt2 \ regress1/arith/mod.03.smt2 \ regress1/arith/mult.02.smt2 \ + regress1/arith/pbrewrites-test.smt2 \ regress1/arith/problem__003.smt2 \ regress1/arrayinuf_error.smt2 \ regress1/aufbv/bug580.smt2 \ @@ -1038,6 +1039,7 @@ REG1_TESTS = \ regress1/errorcrash.smt2 \ regress1/fmf-fun-dbu.smt2 \ regress1/fmf/ALG008-1.smt2 \ + regress1/fmf/Hoare-z3.931718.smt \ regress1/fmf/LeftistHeap.scala-8-ncm.smt2 \ regress1/fmf/PUZ001+1.smt2 \ regress1/fmf/agree466.smt2 \ @@ -1065,7 +1067,6 @@ REG1_TESTS = \ regress1/fmf/fore19-exp2-core.smt2 \ regress1/fmf/german169.smt2 \ regress1/fmf/german73.smt2 \ - regress1/fmf/Hoare-z3.931718.smt \ regress1/fmf/issue916-fmf-or.smt2 \ regress1/fmf/jasmin-cdt-crash.smt2 \ regress1/fmf/ko-bound-set.cvc \ |