def test_not_p(self): eq_(eval(not_p(fail)), True) assert_raises(NoSolution, eval, not_p(succeed))
def test_not_2(self): assert_raises(NoSolution, eval, not_p(succeed))
def test_not_(self): eq_(eval(not_p(fail)), True)