Method test_extract_params

tests/test_z3_ported.py:2921–2924

(self)

            e.arg(5)

    def test_extract_params(self):
        x = BitVec("x", 32)
        e = Extract(7, 0, x)
        assert e.params() == [7, 0]

    def test_zeroext_params(self):
        x = BitVec("x", 8)