Method test_is_arith

tests/test_z3_ported.py:2774–2779

(self)

class TestExtendedPredicates:
    def test_is_arith(self):
        assert is_arith(Int("x"))
        assert is_arith(Real("x"))
        assert is_arith(Nat("n"))
        assert not is_arith(Bool("b"))
        assert not is_arith(BitVec("v", 8))

    def test_is_sort(self):
        assert is_sort(IntSort())