Each sort predicate is false for other sorts.
(self)
| 1541 | assert is_string(String("s")) |
| 1542 | |
| 1543 | def test_is_sort_cross(self): |
| 1544 | """Each sort predicate is false for other sorts.""" |
| 1545 | x = Int("x") |
| 1546 | assert not is_real(x) |
| 1547 | assert not is_bool(x) |
| 1548 | assert not is_bv(x) |
| 1549 | |
| 1550 | def test_is_const_var(self): |
| 1551 | x = Int("x") |