Method test_is_expr_various

tests/test_z3_ported.py:1520–1526

(self)

    """All is_* predicates from z3py."""

    def test_is_expr_various(self):
        assert is_expr(Int("x"))
        assert is_expr(Bool("b"))
        assert is_expr(BitVec("v", 8))
        assert is_expr(StringVal("s"))
        assert not is_expr(42)
        assert not is_expr("hello")

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