(self)
| 3917 | assert isinstance(fpEQ(x, y), BoolRef) |
| 3918 | |
| 3919 | def test_fp_predicates(self): |
| 3920 | x = FP("x", Float32()) |
| 3921 | assert isinstance(fpIsNaN(x), BoolRef) |
| 3922 | assert isinstance(fpIsInf(x), BoolRef) |
| 3923 | assert isinstance(fpIsZero(x), BoolRef) |
| 3924 | assert isinstance(fpIsNormal(x), BoolRef) |
| 3925 | assert isinstance(fpIsSubnormal(x), BoolRef) |
| 3926 | assert isinstance(fpIsNegative(x), BoolRef) |
| 3927 | assert isinstance(fpIsPositive(x), BoolRef) |
| 3928 | |
| 3929 | def test_fp_to_real(self): |
| 3930 | x = FP("x", Float32()) |
nothing calls this directly
no test coverage detected