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'))