diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-19 17:40:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-19 17:40:33 -0500 |
| commit | e1fcbe514b5876b95ff93b5248e6a9f786ddbd1c (patch) | |
| tree | 84cadc958ae96fdfa3fff4fc22d782e0a225340c /test/regress/CMakeLists.txt | |
| parent | 68d7289ab38f0381bed60ee852175f26bb20d1d2 (diff) | |
| parent | 09719301db1532093117bc60546e01dca77b59b8 (diff) | |
Merge branch 'master' into rmNoInteractivePromptrmNoInteractivePrompt
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 2706dee8a..6f71e0993 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -910,6 +910,7 @@ set(regress_0_tests regress0/quantifiers/issue5645-dt-cm-spurious.smt2 regress0/quantifiers/issue5693-prenex.smt2 regress0/quantifiers/issue6603-dt-bool-cegqi.smt2 + regress0/quantifiers/issue6996-trivial-elim.smt2 regress0/quantifiers/lra-triv-gn.smt2 regress0/quantifiers/macro-back-subs-sat.smt2 regress0/quantifiers/macros-int-real.smt2 |