Method test_sqrt

tests/test_z3_ported.py:2445–2448

(self)

        assert isinstance(result, BoolRef)

    def test_sqrt(self):
        x = Real("x")
        result = Sqrt(x)
        assert is_real(result)

    def test_sqrt_is_power(self):
        x = Real("x")