Method test_fp_add

tests/test_z3_ported.py:3861–3864

(self)

        assert isinstance(RoundTowardZero(), FPRMRef)

    def test_fp_add(self):
        x, y = FPs("x y", Float32())
        result = fpAdd(RNE(), x, y)
        assert isinstance(result, FPRef)

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