(self)
| 3982 | assert isinstance(abs(x), FPRef) |
| 3983 | |
| 3984 | def test_fp_comparison_overloads(self): |
| 3985 | x, y = FPs("x y", Float32()) |
| 3986 | assert isinstance(x < y, BoolRef) |
| 3987 | assert isinstance(x <= y, BoolRef) |
| 3988 | assert isinstance(x > y, BoolRef) |
| 3989 | assert isinstance(x >= y, BoolRef) |
| 3990 | |
| 3991 | def test_fp_sort_method(self): |
| 3992 | x = FP("x", Float32()) |