diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-29 13:40:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-29 13:40:08 -0500 |
| commit | e86726da4cf3883888a765aacf81ae76c7611c54 (patch) | |
| tree | f0565d3bac2bcc04ebe45a948e8032892a25d329 /test/unit/api/solver_black.cpp | |
| parent | a6e09da79c31d9f7cf783f17072239a44e538162 (diff) | |
Update the syntax for tuples in smt2 (#7265)
This changes mkTuple -> tuple and tupSel -> tuple_select.
This is in line with the most recent syntax for tuples in preparation for the theory of tables in smt2.
Diffstat (limited to 'test/unit/api/solver_black.cpp')
| -rw-r--r-- | test/unit/api/solver_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/solver_black.cpp b/test/unit/api/solver_black.cpp index 63556fa8a..19113ae13 100644 --- a/test/unit/api/solver_black.cpp +++ b/test/unit/api/solver_black.cpp @@ -2520,7 +2520,7 @@ TEST_F(TestApiBlackSolver, tupleProject) } ASSERT_EQ( - "((_ tuple_project 0 3 2 0 1 2) (mkTuple true 3 \"C\" (singleton " + "((_ tuple_project 0 3 2 0 1 2) (tuple true 3 \"C\" (singleton " "\"Z\")))", projection.toString()); } |