Method test_concat

tests/test_z3_ported.py:2231–2234

(self)

        assert r2.size() == 8

    def test_concat(self):
        a, b = BitVecs("a b", 4)
        r = Concat(a, b)
        assert r.size() == 8

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