From fb0928d87e099bfe27c35808731975f52787ae4d Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 9 Feb 2016 15:56:12 +0100 Subject: Decrease timeout for Monkey hints to 3 s --- server/prolog_session.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: -- cgit v1.2.1