diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-09 15:56:12 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-09 15:56:12 +0100 |
| commit | fb0928d87e099bfe27c35808731975f52787ae4d (patch) | |
| tree | f4a1ad89733df28c6bb3d16efe1baab2c7e532e1 /server | |
| parent | 70de1a963610bae8d8a1ff6a09d1d17ce71837cd (diff) | |
Decrease timeout for Monkey hints to 3 s
Diffstat (limited to 'server')
| -rw-r--r-- | server/prolog_session.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/prolog_session.py b/server/prolog_session.py index 121f802..cac379a 100644 --- a/server/prolog_session.py +++ b/server/prolog_session.py @@ -136,7 +136,7 @@ class PrologSession(server.LanguageSession): n_correct, n_all, _ = problem_module.test(code, aux_code=aux_code) return n_correct, n_all solution, steps, fix_time, n_tested = monkey.fix( - program, _edits[problem_id], tester, timeout=5, debug=True) + program, _edits[problem_id], tester, timeout=3) if solution and steps: hints = [{'id': 'monkey_main'}] + monkey.fix_hints(program, steps) if not hints: |