@@ -16,6 +16,14 @@ class TestStrategy(object):
16
16
'makes_use_of' : ['game' , 'length' ]
17
17
}
18
18
19
+ class TestStrategy2 (object ):
20
+ classifier = {
21
+ 'stochastic' : True ,
22
+ 'inspects_source' : False ,
23
+ 'memory_depth' : 'infinity' ,
24
+ 'makes_use_of' : ['game' , 'length' ]
25
+ }
26
+
19
27
def test_equality_filter (self ):
20
28
self .assertTrue (
21
29
passes_operator_filter (
@@ -30,6 +38,10 @@ def test_equality_filter(self):
30
38
passes_operator_filter (
31
39
self .TestStrategy , 'inspects_source' , True , operator .eq ))
32
40
41
+ self .assertTrue (
42
+ passes_operator_filter (
43
+ self .TestStrategy2 , 'memory_depth' , float ('inf' ), operator .eq ))
44
+
33
45
@given (
34
46
smaller = integers (min_value = 0 , max_value = 9 ),
35
47
larger = integers (min_value = 11 , max_value = 100 ),
@@ -45,6 +57,9 @@ def test_inequality_filter(self, smaller, larger):
45
57
self .assertFalse (passes_operator_filter (
46
58
self .TestStrategy , 'memory_depth' , larger , operator .ge ))
47
59
60
+ self .assertTrue (passes_operator_filter (
61
+ self .TestStrategy2 , 'memory_depth' , smaller , operator .ge ))
62
+
48
63
def test_list_filter (self ):
49
64
self .assertTrue (passes_in_list_filter (
50
65
self .TestStrategy , 'makes_use_of' , ['game' ]))
0 commit comments