Method test_fp_var

tests/test_z3_ported.py:3814–3816

(self)

        assert s.ebits() == 15 and s.sbits() == 113

    def test_fp_var(self):
        x = FP("x", Float32())
        assert isinstance(x, FPRef)

    def test_fps(self):
        x, y = FPs("x y", Float64())