Method test_fp_min_max

tests/test_z3_ported.py:3906–3909

(self)

        assert isinstance(result, FPRef)

    def test_fp_min_max(self):
        x, y = FPs("x y", Float32())
        assert isinstance(fpMin(x, y), FPRef)
        assert isinstance(fpMax(x, y), FPRef)

    def test_fp_comparisons(self):
        x, y = FPs("x y", Float32())