diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-12-17 15:41:49 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:00 +0200 |
| commit | e95aa102182957ccd35d0489dacd073bd76c3351 (patch) | |
| tree | bb06694631be72af8feefd311a1f8fb3e13fbdd9 /prolog/util.py | |
| parent | d7b48d4250153aa21879609b5707af9aad434ad1 (diff) | |
Improve testing procedure
For each query:
- generate a single solution
- incorrect solution / timeout / other error → FAIL
- generate (up to) ten solutions
- more than one distinct solution found → FAIL
- timeout is OK (a correct solution was found above)
- if reached this point → PASS
Diffstat (limited to 'prolog/util.py')
0 files changed, 0 insertions, 0 deletions