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)