Method test_fp_neg

tests/test_z3_ported.py:3881–3884

(self)

        assert isinstance(result, FPRef)

    def test_fp_neg(self):
        x = FP("x", Float32())
        result = fpNeg(x)
        assert isinstance(result, FPRef)

    def test_fp_abs(self):
        x = FP("x", Float32())