def test_bool_not(self):
function = BoolFunction(examples.bool_not)
for a in range(2):
tmp = BitVec(1, a)
result = function.simulate(tmp)
self.assertEqual(result, ~tmp)
def test_identity_not(self):
function = BoolFunction(examples.identity_not)
for a in range(4):
tmp = BitVec(2, a)
result = function.simulate(tmp)
self.assertEqual(result, (tmp, ~tmp))
def test_constant_4bit(self):
function = BoolFunction(examples.constant_4bit)
result = function.simulate()
self.assertEqual(result, BitVec('0000'))
def test_identity(self):
function = BoolFunction(examples.identity)
result = function.simulate(BitVec(1, '0'))
self.assertEqual(result, BitVec(1, '0'))
result = function.simulate(BitVec(1, '1'))
self.assertEqual(result, BitVec(1, '1'))
def test_constant_3bit(self):
function = BoolFunction(examples.constant_3bit)
self.assertEqual(function._parameters_signature, [])
result = examples.constant_3bit()
self.assertEqual(result, BitVec(3, '101'))
