def test_two(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = predicats.for_all(a, b, a)
assert c(10) is False
def test_four(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = predicats.for_any(a, b)
assert c(-10) is True
def test_one(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = predicats.for_all(a, b)
assert c(3) is True
def test_four(self):
a = predicats.gt(0)
b = predicats.lt(-5)
c = a >> b
assert c(-2) is True
def test_two(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = predicats.for_any(a, b, a)
assert c(10) is True
def test_one(self):
a = predicats.gt(0)
assert a(10) is True
def test_three(self):
a = predicats.eq(0)
b = predicats.gt(10)
c = a & b
assert c(-1) is False
def test_four(self):
a = predicats.gt(0)
b = predicats.eq(2)
c = a | b
assert ~~c(1) is True
def test_one(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = a >> b
assert c(10) is False
def test_two(self):
a = predicats.gt(0)
assert ~a(10) is True
def test_three(self):
a = predicats.eq(0)
b = predicats.gt(10)
c = a | b
assert ~c(-1) is True
def test_two(self):
a = predicats.oftype(int)
b = predicats.gt(0)
c = a | b
assert c(-10) is True
def test_three(self):
a = predicats.gt(0)
assert a(0) is False
def test_four(self):
a = predicats.gt(0)
b = predicats.eq(2)
c = a & b
assert c(2) is True
def test_three(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = predicats.for_all(a, b)
assert c(-3) is False
def test_two(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = a >> b
assert c(3) is True
def test_four(self):
a = predicats.gt(0)
b = predicats.lt(-5)
c = predicats.for_all(a, b)
assert c(-3) is False
def test_three(self):
a = predicats.gt(0)
b = predicats.lt(5)
c = a >> b
assert c(-10) is True
def test_two(self):
a = predicats.gt(0)
assert a(-10) is False
def test_one(self):
a = predicats.oftype(int)
b = predicats.gt(0)
c = a & b
assert c(10) is True
