summaryrefslogtreecommitdiff
path: root/monkey/edits.py
diff options
context:
space:
mode:
Diffstat (limited to 'monkey/edits.py')
-rw-r--r--monkey/edits.py10
1 files changed, 6 insertions, 4 deletions
diff --git a/monkey/edits.py b/monkey/edits.py
index 7ebb034..0bbedef 100644
--- a/monkey/edits.py
+++ b/monkey/edits.py
@@ -215,12 +215,14 @@ if __name__ == '__main__':
continue
# Testing function.
- solved_problems = [p for p in CodeqUser.solved_problems(1, problem.language)
- if p != (problem.group, problem.identifier)]
- other_solutions = server.problems.solutions_for_problems(problem.language, solved_problems)
+ group_module = server.problems.load_group(problem.language, problem.group, 'common')
problem_module = server.problems.load_problem(problem.language, problem.group, problem.identifier, 'common')
+ solved_problems = [p for p in CodeqUser.solved_problems(1, problem.language)
+ if p[0] in group_module.allowed_groups and p != (problem.group, problem.identifier)]
+ aux_code = ('\n' + server.problems.solutions_for_problems('prolog', solved_problems) +
+ '\n' + server.problems.get_facts('prolog', problem_module))
def test(code):
- correct, hints = problem_module.test(code, solved_problems)
+ correct, hints = problem_module.test(code, aux_code)
return correct
print('Analyzing traces for {}… '.format(problem.identifier), end='', flush=True)