Method test_ashr_positive

tests/test_z3_semantic.py:558–559

(self, kernel)

        assert _try_prove(LShR(BitVecVal(128, 8), 4) == BitVecVal(8, 8))

    def test_ashr_positive(self, kernel):
        assert _try_prove(AShr(BitVecVal(64, 8), 2) == BitVecVal(16, 8))

    def test_ashr_negative(self, kernel):
        """Arithmetic shift right of negative value fills with 1s."""