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

Method test_float128

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

Source from the content-addressed store, hash-verified

3808 assert s.ebits() == 11 and s.sbits() == 53
3809
3810 def test_float128(self):
3811 s = Float128()
3812 assert s.ebits() == 15 and s.sbits() == 113
3813
3814 def test_fp_var(self):
3815 x = FP("x", Float32())

Callers

nothing calls this directly

Calls 3

Float128Function · 0.90
ebitsMethod · 0.45
sbitsMethod · 0.45

Tested by

no test coverage detected