diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-03 07:05:28 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-03 07:05:28 -0500 |
commit | 252860a96565f3c73fff7132eb06059c90582bdd (patch) | |
tree | ca53076f5c619fddd7f1d8f7cbe2e598af316ffa /test/regress/regress0/Makefile.am | |
parent | df058b7fb79abaa4e6488449f2307ee29f47efdd (diff) |
Op overload parser (#1162)
* Update parser for operator overloading.
* Improvements
* Updates
* Add assert
Diffstat (limited to 'test/regress/regress0/Makefile.am')
-rw-r--r-- | test/regress/regress0/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index 5000be7a2..43c7ae3b1 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -70,9 +70,13 @@ SMT2_TESTS = \ hung13sdk_output2.smt2 \ declare-funs.smt2 \ declare-fun-is-match.smt2 \ + issue1063-overloading-dt-cons.smt2 \ + issue1063-overloading-dt-sel.smt2 \ + issue1063-overloading-dt-fun.smt2 \ non-fatal-errors.smt2 \ sqrt2-sort-inf-unk.smt2 + # Regression tests for PL inputs CVC_TESTS = \ boolean.cvc \ |