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

Method test_fp_ebits_sbits

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

Source from the content-addressed store, hash-verified

3995 assert s.ebits() == 8
3996
3997 def test_fp_ebits_sbits(self):
3998 x = FP("x", Float64())
3999 assert x.ebits() == 11
4000 assert x.sbits() == 53
4001
4002
4003# ===================================================================

Callers

nothing calls this directly

Calls 4

FPFunction · 0.90
Float64Function · 0.90
ebitsMethod · 0.45
sbitsMethod · 0.45

Tested by

no test coverage detected