Method test_boolval_repr

tests/test_z3_ported.py:2320–2322

(self)

        assert "42" in repr(v)

    def test_boolval_repr(self):
        assert "True" in repr(BoolVal(True))
        assert "False" in repr(BoolVal(False))

    def test_bv_val_repr(self):
        v = BitVecVal(255, 8)