Method test_int_var

tests/test_z3_compat.py:244–248

(self)

class TestExprBuilding:
    def test_int_var(self):
        x = Int("x")
        assert isinstance(x._ast, Var) and x._ast.name == "x"
        assert x.sort() == IntSort()
        assert any(n == "x" for n, _ in x._vars)

    def test_arith_ops(self):
        x, y = Ints("x y")