TermPrinter: test for correct let var naming

usi-verification-and-security · Mar 31, 2022 · 06ce55c · 06ce55c
1 parent 98684b9
commit 06ce55c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/unit/test_TermPrinter.cc b/test/unit/test_TermPrinter.cc
@@ -13,8 +13,8 @@ class TermPrinterTest : public ::testing::Test {
 
     PTRef buildExampleFormula1() {
         SRef sort = logic.declareUninterpretedSort("U");
-        PTRef x = logic.mkVar(sort, "x");
-        PTRef y = logic.mkVar(sort, "y");
+        PTRef x = logic.mkVar(sort, "?20");
+        PTRef y = logic.mkVar(sort, "????");
         SymRef g_s = logic.declareFun("g", sort, {sort, sort});
         SymRef h_s = logic.declareFun("h", sort, {sort});
         SymRef f_s = logic.declareFun("f", sort, {sort, sort, sort});