diff options
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 b8304f722..9f9f36c8f 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2011,6 +2011,7 @@ set(regress_2_tests regress2/bug674.smt2 regress2/bug765.smt2 regress2/bug812.smt2 + regress2/bv/opStructure_MBA_6.scrambled.min.smt2 regress2/bv_to_int_ashr.smt2 regress2/bv_to_int_mask_array_1.smt2 regress2/bv_to_int_mask_array_2.smt2 |