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 /monkey/prolog | |
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 'monkey/prolog')
0 files changed, 0 insertions, 0 deletions