Searched refs:cnf_test (Results 1 - 1 of 1) sorted by relevance
| /pkg/src/tests/api/ | ||
| H A D | t_solver.py | 39 cnf_test(failing_test_case.splitlines()) 42 cnf_test(working_test_case.splitlines()) 44 def cnf_test(lines): function |
Completed in 31 milliseconds