def test_is_undecided(self):
package = self.mkl_10_1_0
decisions = DecisionsSet(self.pool)
decisions.decide(package.id, 1, "because")
self.assertFalse(decisions.is_undecided(package.id))
self.assertTrue(decisions.is_undecided(package.id + 1))
def test_is_undecided(self):
package = self.mkl_10_1_0
decisions = DecisionsSet(self.pool)
decisions.decide(package.id, 1, "because")
self.assertFalse(decisions.is_undecided(package.id))
self.assertTrue(decisions.is_undecided(package.id + 1))
def test_revert_last(self):
r_level = 1
decisions = DecisionsSet(self.pool)
decisions.decide(self.mkl_10_1_0.id, r_level, "because")
decisions.decide(self.numpy_1_7_0.id, r_level, "because because")
self.assertEqual(len(decisions), 2)
self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
self.assertTrue(decisions.is_decided(self.numpy_1_7_0.id))
self.assertEqual(decisions.last_literal, self.numpy_1_7_0.id)
self.assertEqual(decisions.last_reason, "because because")
decisions.revert_last()
self.assertEqual(len(decisions), 1)
self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
self.assertTrue(decisions.is_undecided(self.numpy_1_7_0.id))
self.assertTrue(decisions.last_literal, self.mkl_10_1_0.id)
self.assertTrue(decisions.last_reason, "because because")
def test_revert_last(self):
r_level = 1
decisions = DecisionsSet(self.pool)
decisions.decide(self.mkl_10_1_0.id, r_level, "because")
decisions.decide(self.numpy_1_7_0.id, r_level, "because because")
self.assertEqual(len(decisions), 2)
self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
self.assertTrue(decisions.is_decided(self.numpy_1_7_0.id))
self.assertEqual(decisions.last_literal, self.numpy_1_7_0.id)
self.assertEqual(decisions.last_reason, "because because")
decisions.revert_last()
self.assertEqual(len(decisions), 1)
self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
self.assertTrue(decisions.is_undecided(self.numpy_1_7_0.id))
self.assertTrue(decisions.last_literal, self.mkl_10_1_0.id)
self.assertTrue(decisions.last_reason, "because because")
