diff options
Diffstat (limited to 'server/prolog_session.py')
| -rw-r--r-- | server/prolog_session.py | 30 |
1 files changed, 8 insertions, 22 deletions
diff --git a/server/prolog_session.py b/server/prolog_session.py index 6cb1592..8c101c6 100644 --- a/server/prolog_session.py +++ b/server/prolog_session.py @@ -14,19 +14,19 @@ # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. +import json import operator import os.path -import pickle import threading from db.models import CodeqUser, Problem from db.util import make_identifier -import monkey +import monkey.rules import prolog.engine from prolog.util import used_predicates import server import server.user_session -from server.problems import get_facts, load_language, load_problem, solutions_for_problems +from server.problems import get_facts, load_file, load_language, load_problem, solutions_for_problems __all__ = ['PrologSession'] @@ -145,16 +145,11 @@ class PrologSession(server.LanguageSession): hints = problem_module.hint(program, aux_code=aux_code) # automatic hints - if not hints and problem_id in _edits and \ - allowed_hints in ('all', 'automatic'): - # Testing function for monkey. - def tester(code): - 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=3) - if solution and steps: - hints = [{'id': 'monkey_main'}] + monkey.fix_hints(program, steps) + if not hints and allowed_hints in ('all', 'automatic'): + bug_data = load_file(problem.language, problem.group, problem.identifier, 'bugs.json') + if bug_data is not None: + bugs = json.loads(bug_data) + hints = monkey.rules.suggest(bugs, program) # generic language hints (style etc.) if not hints and hasattr(language_module, 'hint'): @@ -205,12 +200,3 @@ class PrologSession(server.LanguageSession): return messages, status, have_more server.language_session_handlers['prolog'] = lambda user_session, problem_id, language_identifier, group_identifier, problem_identifier: PrologSession() - -# Load edit data. -try: - _edits, _submissions, _queries = pickle.load( - open(os.path.join(os.path.dirname(os.path.realpath(__file__)), '..', 'edits.pickle'), 'rb')) -except: - _edits = {} - _submissions = {} - _queries = {} |