Method test_bitvec_var

tests/test_z3_compat.py:517–520

(self)

class TestBitVec:
    def test_bitvec_var(self):
        x = BitVec("x", 8)
        assert isinstance(x._ast, Var) and x._ast.name == "x"
        assert x.sort() == BitVecSort(8)

    def test_bitvec_val(self):
        v = BitVecVal(42, 8)