diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index f707da219..17a302192 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -15,6 +15,7 @@ REG0_TESTS = \ regress0/arith/div.04.smt2 \ regress0/arith/div.05.smt2 \ regress0/arith/div.07.smt2 \ + regress0/arith/div-chainable.smt2 \ regress0/arith/fuzz_3-eq.smt \ regress0/arith/integers/arith-int-042.cvc \ regress0/arith/integers/arith-int-042.min.cvc \ |