(self)
| 1526 | assert not is_expr("hello") |
| 1527 | |
| 1528 | def test_is_true_false(self): |
| 1529 | assert is_true(BoolVal(True)) |
| 1530 | assert is_false(BoolVal(False)) |
| 1531 | assert not is_true(BoolVal(False)) |
| 1532 | assert not is_false(BoolVal(True)) |
| 1533 | assert not is_true(Int("x")) |
| 1534 | |
| 1535 | def test_is_sort_types(self): |
| 1536 | assert is_int(Int("x")) |