Method test_fp_fma

tests/test_z3_ported.py:3896–3899

(self)

        assert isinstance(result, FPRef)

    def test_fp_fma(self):
        x, y, z = FPs("x y z", Float32())
        result = fpFMA(RNE(), x, y, z)
        assert isinstance(result, FPRef)

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