diff options
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: |