summaryrefslogtreecommitdiff
path: root/server/prolog_session.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-09 15:56:12 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-09 15:56:12 +0100
commitfb0928d87e099bfe27c35808731975f52787ae4d (patch)
treef4a1ad89733df28c6bb3d16efe1baab2c7e532e1 /server/prolog_session.py
parent70de1a963610bae8d8a1ff6a09d1d17ce71837cd (diff)
Decrease timeout for Monkey hints to 3 s
Diffstat (limited to 'server/prolog_session.py')
-rw-r--r--server/prolog_session.py2
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: