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

Method test_float16

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

Source from the content-addressed store, hash-verified

3796 assert s.sbits() == 24
3797
3798 def test_float16(self):
3799 s = Float16()
3800 assert s.ebits() == 5 and s.sbits() == 11
3801
3802 def test_float32(self):
3803 s = Float32()

Callers

nothing calls this directly

Calls 3

Float16Function · 0.90
ebitsMethod · 0.45
sbitsMethod · 0.45

Tested by

no test coverage detected