Method test_extract

tests/test_z3_compat.py:920–925

(self)

        assert isinstance(r._ast, BinOpNode) and r._ast.op == BinOp.MOD

    def test_extract(self):
        x = BitVec("x", 8)
        r = Extract(3, 0, x)
        assert isinstance(r._ast, ExtractNode)
        assert r._ast.hi == 3 and r._ast.lo == 0
        assert r.size() == 4

    def test_concat(self):
        a = BitVec("a", 4)