Exemple #1
0
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.lt(-5)
     c = predicats.for_all(a, b)
     assert c(-3) is False
Exemple #2
0
 def test_two(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = predicats.for_all(a, b, a)
     assert c(10) is False
Exemple #3
0
 def test_three(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = predicats.for_all(a, b)
     assert c(-3) is False
Exemple #4
0
 def test_two(self):
     a = predicats.lt(0)
     assert a(10) is False
Exemple #5
0
 def test_one(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = predicats.for_all(a, b)
     assert c(3) is True
Exemple #6
0
 def test_two(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = predicats.for_any(a, b, a)
     assert c(10) is True
Exemple #7
0
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = predicats.for_any(a, b)
     assert c(-10) is True
Exemple #8
0
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.lt(-5)
     c = a >> b
     assert c(-2) is True
Exemple #9
0
 def test_three(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = a >> b
     assert c(-10) is True
Exemple #10
0
 def test_two(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = a >> b
     assert c(3) is True
Exemple #11
0
 def test_one(self):
     a = predicats.lt(0)
     assert a(-10) is True
Exemple #12
0
 def test_one(self):
     a = predicats.gt(0)
     b = predicats.lt(5)
     c = a >> b
     assert c(10) is False