Method test_is_expr

tests/test_z3_compat.py:1014–1016

(self)

class TestPredicates:
    def test_is_expr(self):
        assert is_expr(Int("x"))
        assert not is_expr(42)

    def test_is_true_false(self):
        assert is_true(BoolVal(True))