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

Method test_signext

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

Source from the content-addressed store, hash-verified

2239 assert r.size() == 16
2240
2241 def test_signext(self):
2242 x = BitVec("x", 8)
2243 r = SignExt(8, x)
2244 assert r.size() == 16
2245
2246 def test_bv2int(self):
2247 x = BitVec("x", 8)

Callers

nothing calls this directly

Calls 3

BitVecFunction · 0.90
SignExtFunction · 0.90
sizeMethod · 0.45

Tested by

no test coverage detected