Method test_fp_sort

tests/test_z3_ported.py:3792–3796

(self)

class TestFPAPI:
    def test_fp_sort(self):
        s = FPSort(8, 24)
        assert isinstance(s, FPSortRef)
        assert s.ebits() == 8
        assert s.sbits() == 24

    def test_float16(self):
        s = Float16()