Method test_fp_infinity

tests/test_z3_compat.py:1624–1626

(self)

        assert v.isNaN()

    def test_fp_infinity(self):
        v = fpPlusInfinity(Float64())
        assert v.isInf()

    def test_fpval_ast_is_fplit(self):
        v = FPVal(3.14)