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