diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-05 15:25:37 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-05 20:25:37 +0000 |
| commit | e95e704f362690377d851fe80bbc778877bbfc69 (patch) | |
| tree | 0d8075ca6c71287618a066d1d5c2282dbaaa72aa /test/regress/CMakeLists.txt | |
| parent | b75f48683c08e66e0d47d29c5262f32f33b36c49 (diff) | |
Add benchmark for issue 4412 (#6287)
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 58ad56276..78576a3f8 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1760,6 +1760,7 @@ set(regress_1_tests regress1/quantifiers/issue4243-prereg-inc.smt2 regress1/quantifiers/issue4290-cegqi-r.smt2 regress1/quantifiers/issue4328-nqe.smt2 + regress1/quantifiers/issue4412-cegqi-type.smt2 regress1/quantifiers/issue4433-nqe.smt2 regress1/quantifiers/issue4620-erq-witness-unsound.smt2 regress1/quantifiers/issue4685-wrewrite.smt2 |