(self)
| 3852 | assert isinstance(RTZ(), FPRMRef) |
| 3853 | |
| 3854 | def test_rounding_mode_long_names(self): |
| 3855 | assert isinstance(RoundNearestTiesToEven(), FPRMRef) |
| 3856 | assert isinstance(RoundNearestTiesToAway(), FPRMRef) |
| 3857 | assert isinstance(RoundTowardPositive(), FPRMRef) |
| 3858 | assert isinstance(RoundTowardNegative(), FPRMRef) |
| 3859 | assert isinstance(RoundTowardZero(), FPRMRef) |
| 3860 | |
| 3861 | def test_fp_add(self): |
| 3862 | x, y = FPs("x y", Float32()) |
nothing calls this directly
no test coverage detected