diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2021-10-18 17:50:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-18 17:50:04 -0500 |
| commit | 3609bd8a3ef60a0ed61927567f5321eb28365858 (patch) | |
| tree | 4d4627c00825957486a488dbd5fb1edb2ef78f90 /test/regress/CMakeLists.txt | |
| parent | 0d08cdb26d105880c07191aa3eeb5a8f9fe467da (diff) | |
Move check for experimental arrays features to `theory_arrays.cpp`. (#7391)
Check for experimental array features was done at the parser module, which meant that users of the API could use them without calling Solver::setOption("arrays-exp"). This PR fixes that by moving the check to the internal theory module.
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index da9c9f001..272867d0c 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -558,6 +558,7 @@ set(regress_0_tests regress0/distinct.smtv1.smt2 regress0/dump-unsat-core-full.smt2 regress0/echo.smt2 + regress0/eqrange0.smt2 regress0/eqrange1.smt2 regress0/eqrange2.smt2 regress0/eqrange3.smt2 |