Method test_as_signed_long_min

tests/test_z3_ported.py:3242–3244

(self)

        assert v.as_signed_long() == -1

    def test_as_signed_long_min(self):
        v = BitVecVal(128, 8)
        assert v.as_signed_long() == -128

    def test_as_string(self):
        v = BitVecVal(42, 8)