diff options
Diffstat (limited to 'test/regress/regress0/nl/Makefile.am')
-rw-r--r-- | test/regress/regress0/nl/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/nl/Makefile.am b/test/regress/regress0/nl/Makefile.am index 9fb581565..4f7c2172b 100644 --- a/test/regress/regress0/nl/Makefile.am +++ b/test/regress/regress0/nl/Makefile.am @@ -78,7 +78,8 @@ TESTS = \ nta/exp-n0.5-ub.smt2 \ nta/exp-n0.5-lb.smt2 \ nta/dumortier_llibre_artes_ex_5_13.transcendental.k2.smt2 \ - nta/NAVIGATION2.smt2 + nta/NAVIGATION2.smt2 \ + nta/sin1-sat.smt2 # unsolved : garbage_collect.cvc |