Method test_is_bool

tests/test_z3_compat.py:1032–1034

(self)

        assert not is_real(Int("x"))

    def test_is_bool(self):
        assert is_bool(Bool("a"))
        assert not is_bool(Int("x"))

    def test_is_bv(self):
        assert is_bv(BitVec("x", 8))