(self)
| 3972 | assert isinstance(result, FPRef) |
| 3973 | |
| 3974 | def test_fp_operator_overloads(self): |
| 3975 | x, y = FPs("x y", Float32()) |
| 3976 | assert isinstance(x + y, FPRef) |
| 3977 | assert isinstance(x - y, FPRef) |
| 3978 | assert isinstance(x * y, FPRef) |
| 3979 | assert isinstance(x / y, FPRef) |
| 3980 | assert isinstance(-x, FPRef) |
| 3981 | assert isinstance(+x, FPRef) |
| 3982 | assert isinstance(abs(x), FPRef) |
| 3983 | |
| 3984 | def test_fp_comparison_overloads(self): |
| 3985 | x, y = FPs("x y", Float32()) |