mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

failing test case: SMT2 parse string constants

Browse source
This commit is contained in:
Murphy Berzish 2015-09-02 18:55:45 -04:00
parent b30d4f757d
commit 1f96e19211
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/test/smt2print_parse.cpp
View file

@ -98,6 +98,12 @@ void tst_smt2print_parse() {
test_parseprint(spec5);
// Test strings
char const* spec6 =
"(assert (= \"abc\" \"abc\"))";
test_parseprint(spec6);
// Test ?
}