Method test_is_sort

tests/test_z3_ported.py:2781–2786

(self)

        assert not is_arith(BitVec("v", 8))

    def test_is_sort(self):
        assert is_sort(IntSort())
        assert is_sort(BoolSort())
        assert is_sort(BitVecSort(8))
        assert not is_sort(Int("x"))
        assert not is_sort(42)

    def test_is_app(self):
        f = Function("f", IntSort(), IntSort())