Method test_bv2int

tests/test_z3_ported.py:2246–2249

(self)

        assert r.size() == 16

    def test_bv2int(self):
        x = BitVec("x", 8)
        r = BV2Int(x)
        assert is_int(r)

    def test_int2bv(self):
        x = Int("x")