Method test_simplify_boolval

tests/test_z3_ported.py:3540–3543

(self)

        assert result is e

    def test_simplify_boolval(self):
        e = BoolVal(True)
        result = simplify(e)
        assert result is e


# ===================================================================