def test_simplify5(self):
xor1 = XOR(self.bank, join.Join(), 8)
xor2 = XOR(xor1, self.main, 8)
simplified = xor2.simplify()
self.assertEqual(str(simplified), "(mock (mock))")
def test_simplify4(self):
xor1 = XOR(self.bank, join.Join(), 8)
xor2 = XOR(xor1, self.main, 16)
simplified = xor2.simplify()
s = '(xor (value 24)(bank (mock (join)))(memory (mock)))'
self.assertEqual(str(simplified), s)
def test_simplify2(self):
xor = XOR(self.bank, self.main, 0)
simplified = xor.simplify()
self.assertEqual(simplified, self.bank)
def test_simplify3(self):
xor = XOR(self.join, self.main, 8)
simplified = xor.simplify()
self.assertEqual(simplified, self.main)
def test_simplify1(self):
xor = XOR(self.bank, self.main, 16)
simplified = xor.simplify()
self.assertEqual(xor, simplified)
