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

Method test_float32

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

Source from the content-addressed store, hash-verified

3800 assert s.ebits() == 5 and s.sbits() == 11
3801
3802 def test_float32(self):
3803 s = Float32()
3804 assert s.ebits() == 8 and s.sbits() == 24
3805
3806 def test_float64(self):
3807 s = Float64()

Callers

nothing calls this directly

Calls 3

Float32Function · 0.90
ebitsMethod · 0.45
sbitsMethod · 0.45

Tested by

no test coverage detected