Ejemplo n.º 1
0
 def test_simplify5(self):
     shift1 = Shift(self.bank, join.Join(), -10)
     shift2 = Shift(shift1, self.main, -25)
     simplified = shift2.simplify()
     simplified.reset(self.machine)
     s = "(shift (value 23)(bank (mock (join)))(memory (mock)))"
     self.assertEqual(str(simplified), s)
Ejemplo n.º 2
0
 def test_simplify3(self):
     shift = Shift(self.join, self.main, 1)
     simplified = shift.simplify()
     self.assertEqual(simplified, self.main)
Ejemplo n.º 3
0
 def test_simplify4(self):
     shift1 = Shift(self.bank, join.Join(), 1)
     shift2 = Shift(shift1, self.main, 2)
     simplified = shift2.simplify()
     s = "(shift (value 3)(bank (mock (join)))(memory (mock)))"
     self.assertEqual(str(simplified), s)
Ejemplo n.º 4
0
 def test_simplify2(self):
     shift = Shift(self.bank, self.main, 0)
     simplified = shift.simplify()
     self.assertEqual(simplified, self.bank)