diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-08 17:28:57 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-08 17:28:57 +0200 |
| commit | 44f6a23f2ae75d9fb0d8de4f992267875a03a2a0 (patch) | |
| tree | 8e05621aa9e758ed5a60f468dcc6a418f7af8f54 /scripts/sysvinit/codeq-server | |
| parent | ddf271d3070d998e901c6fa3e21464602c9b6359 (diff) | |
Prolog: allow custom inference limit in check_answers
Diffstat (limited to 'scripts/sysvinit/codeq-server')
0 files changed, 0 insertions, 0 deletions