(self)
| 3909 | assert isinstance(fpMax(x, y), FPRef) |
| 3910 | |
| 3911 | def test_fp_comparisons(self): |
| 3912 | x, y = FPs("x y", Float32()) |
| 3913 | assert isinstance(fpLEQ(x, y), BoolRef) |
| 3914 | assert isinstance(fpLT(x, y), BoolRef) |
| 3915 | assert isinstance(fpGEQ(x, y), BoolRef) |
| 3916 | assert isinstance(fpGT(x, y), BoolRef) |
| 3917 | assert isinstance(fpEQ(x, y), BoolRef) |
| 3918 | |
| 3919 | def test_fp_predicates(self): |
| 3920 | x = FP("x", Float32()) |