Method test_consts_bool

tests/test_z3_ported.py:2087–2090

(self)

        assert is_int(z)

    def test_consts_bool(self):
        a, b = Consts("a b", BoolSort())
        assert is_bool(a)
        assert is_bool(b)

    def test_consts_uninterpreted(self):
        S = DeclareSort("S")