Method test_zeroext_params

tests/test_z3_ported.py:2926–2929

(self)

        assert e.params() == [7, 0]

    def test_zeroext_params(self):
        x = BitVec("x", 8)
        e = ZeroExt(8, x)
        assert e.params() == [16]  # total new width

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