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

Method test_zeroext

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

Source from the content-addressed store, hash-verified

2234 assert r.size() == 8
2235
2236 def test_zeroext(self):
2237 x = BitVec("x", 8)
2238 r = ZeroExt(8, x)
2239 assert r.size() == 16
2240
2241 def test_signext(self):
2242 x = BitVec("x", 8)

Callers

nothing calls this directly

Calls 3

BitVecFunction · 0.90
ZeroExtFunction · 0.90
sizeMethod · 0.45

Tested by

no test coverage detected