@@ -106,14 +106,6 @@ mod tests {
106106 ) ;
107107 }
108108
109- #[ test]
110- fn least_satisfying_1f ( ) {
111- assert_eq ! (
112- least_satisfying( & [ No , Unknown , Unknown , No , Yes ] , |i| * i) ,
113- 4
114- ) ;
115- }
116-
117109 #[ test]
118110 fn least_satisfying_2 ( ) {
119111 assert_eq ! (
@@ -122,44 +114,21 @@ mod tests {
122114 ) ;
123115 }
124116
125- #[ test]
126- fn least_satisfying_2f ( ) {
127- assert_eq ! (
128- least_satisfying( & [ No , Unknown , Yes , Unknown , Yes ] , |i| * i) ,
129- 2
130- ) ;
131- }
132-
133117 #[ test]
134118 fn least_satisfying_3 ( ) {
135119 assert_eq ! ( least_satisfying( & [ No , No , No , No , Yes ] , |i| * i) , 4 ) ;
136120 }
137121
138- #[ test]
139- fn least_satisfying_3f ( ) {
140- assert_eq ! ( least_satisfying( & [ No , No , No , No , Yes ] , |i| * i) , 4 ) ;
141- }
142-
143122 #[ test]
144123 fn least_satisfying_4 ( ) {
145124 assert_eq ! ( least_satisfying( & [ No , No , Yes , Yes , Yes ] , |i| * i) , 2 ) ;
146125 }
147126
148- #[ test]
149- fn least_satisfying_4f ( ) {
150- assert_eq ! ( least_satisfying( & [ No , No , Yes , Yes , Yes ] , |i| * i) , 2 ) ;
151- }
152-
153127 #[ test]
154128 fn least_satisfying_5 ( ) {
155129 assert_eq ! ( least_satisfying( & [ No , Yes , Yes , Yes , Yes ] , |i| * i) , 1 ) ;
156130 }
157131
158- #[ test]
159- fn least_satisfying_5f ( ) {
160- assert_eq ! ( least_satisfying( & [ No , Yes , Yes , Yes , Yes ] , |i| * i) , 1 ) ;
161- }
162-
163132 #[ test]
164133 fn least_satisfying_6 ( ) {
165134 assert_eq ! (
@@ -168,24 +137,11 @@ mod tests {
168137 ) ;
169138 }
170139
171- #[ test]
172- fn least_satisfying_6f ( ) {
173- assert_eq ! (
174- least_satisfying( & [ No , Yes , Yes , Unknown , Unknown , Yes , Unknown , Yes ] , |i| * i) ,
175- 1
176- ) ;
177- }
178-
179140 #[ test]
180141 fn least_satisfying_7 ( ) {
181142 assert_eq ! ( least_satisfying( & [ No , Yes , Unknown , Yes ] , |i| * i) , 1 ) ;
182143 }
183144
184- #[ test]
185- fn least_satisfying_7f ( ) {
186- assert_eq ! ( least_satisfying( & [ No , Yes , Unknown , Yes ] , |i| * i) , 1 ) ;
187- }
188-
189145 #[ test]
190146 fn least_satisfying_8 ( ) {
191147 assert_eq ! (
@@ -194,14 +150,6 @@ mod tests {
194150 ) ;
195151 }
196152
197- #[ test]
198- fn least_satisfying_8f ( ) {
199- assert_eq ! (
200- least_satisfying( & [ No , Unknown , No , No , Unknown , Yes , Yes ] , |i| * i) ,
201- 5
202- ) ;
203- }
204-
205153 #[ test]
206154 fn qc_prop ( ) {
207155 QuickCheck :: new ( ) . quickcheck ( prop as fn ( _) -> _ ) ;
0 commit comments