Esempio n. 1
0
 def test_three(self):
     a = predicats.eq(0)
     b = predicats.pred(a)
     assert b([]) is False
Esempio n. 2
0
 def test_four(self):
     a = predicats.eq(0)
     b = predicats.pred(a)
     assert b(0) is True
Esempio n. 3
0
 def test_two(self):
     a = predicats.eq(0)
     assert a(10) is False
Esempio n. 4
0
 def test_three(self):
     a = predicats.eq(0)
     assert a(-10) is False
Esempio n. 5
0
 def test_one(self):
     a = predicats.eq(0)
     assert a(0) is True
Esempio n. 6
0
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.eq(2)
     c = a | b
     assert ~~c(1) is True
Esempio n. 7
0
 def test_three(self):
     a = predicats.eq(0)
     b = predicats.gt(10)
     c = a | b
     assert ~c(-1) is True
Esempio n. 8
0
 def test_four(self):
     a = predicats.gt(0)
     b = predicats.eq(2)
     c = a & b
     assert c(2) is True
Esempio n. 9
0
 def test_three(self):
     a = predicats.eq(0)
     b = predicats.gt(10)
     c = a & b
     assert c(-1) is False