(self)
| 1447 | assert is_string_value(r) |
| 1448 | |
| 1449 | def test_string_free_vars(self): |
| 1450 | s = String("s") |
| 1451 | t = String("t") |
| 1452 | expr = Contains(s, t) |
| 1453 | assert len(expr._vars) == 2 |
| 1454 | |
| 1455 | def test_const_with_string_sort(self): |
| 1456 | s = Const("s", StringSort()) |