Method test_fp_sort_method

tests/test_z3_ported.py:3991–3995

(self)

        assert isinstance(x >= y, BoolRef)

    def test_fp_sort_method(self):
        x = FP("x", Float32())
        s = x.sort()
        assert isinstance(s, FPSortRef)
        assert s.ebits() == 8

    def test_fp_ebits_sbits(self):
        x = FP("x", Float64())