MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / test_rounding_modes

Method test_rounding_modes

tests/test_z3_ported.py:3847–3852  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

3845 assert isinstance(v, FPNumRef)
3846
3847 def test_rounding_modes(self):
3848 assert isinstance(RNE(), FPRMRef)
3849 assert isinstance(RNA(), FPRMRef)
3850 assert isinstance(RTP(), FPRMRef)
3851 assert isinstance(RTN(), FPRMRef)
3852 assert isinstance(RTZ(), FPRMRef)
3853
3854 def test_rounding_mode_long_names(self):
3855 assert isinstance(RoundNearestTiesToEven(), FPRMRef)

Callers

nothing calls this directly

Calls 5

RNEFunction · 0.90
RNAFunction · 0.90
RTPFunction · 0.90
RTNFunction · 0.90
RTZFunction · 0.90

Tested by

no test coverage detected