Method test_prove_true

tests/test_z3_ported.py:1954–1956

prove(True) succeeds.

(self, kernel)

    """Test the prove() convenience function."""

    def test_prove_true(self, kernel):
        """prove(True) succeeds."""
        assert prove(BoolVal(True))

    def test_prove_simple_tautology(self, kernel):
        p = Bool("p")