()
| 197 | |
| 198 | #[test] |
| 199 | fn all_predicates_are_known() { |
| 200 | for pred in all_predicates() { |
| 201 | assert!( |
| 202 | is_known_predicate(pred), |
| 203 | "Predicate '{}' not recognized", |
| 204 | pred |
| 205 | ); |
| 206 | } |
| 207 | } |
| 208 | |
| 209 | #[test] |
| 210 | fn predicate_count() { |
nothing calls this directly
no test coverage detected