Exemple #1
0
 def test_not_p(self):
   eq_(eval(not_p(fail)), True)
   assert_raises(NoSolution, eval, not_p(succeed))
Exemple #2
0
 def test_not_2(self):
     assert_raises(NoSolution, eval, not_p(succeed))
Exemple #3
0
 def test_not_(self):
     eq_(eval(not_p(fail)), True)
Exemple #4
0
 def test_not_(self):
   eq_(eval(not_p(fail)), True)
Exemple #5
0
 def test_not_2(self):
   assert_raises(NoSolution, eval, not_p(succeed))
Exemple #6
0
 def test_not_p(self):
     eq_(eval(not_p(fail)), True)
     assert_raises(NoSolution, eval, not_p(succeed))