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

Method test_float64

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

Source from the content-addressed store, hash-verified

3804 assert s.ebits() == 8 and s.sbits() == 24
3805
3806 def test_float64(self):
3807 s = Float64()
3808 assert s.ebits() == 11 and s.sbits() == 53
3809
3810 def test_float128(self):
3811 s = Float128()

Callers

nothing calls this directly

Calls 3

Float64Function · 0.90
ebitsMethod · 0.45
sbitsMethod · 0.45

Tested by

no test coverage detected