summaryrefslogtreecommitdiff
path: root/monkey/edits.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-15 15:47:47 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-15 15:47:47 +0200
commitca8dcfdf819dae2aed6c864a3a11f1e30c632e96 (patch)
treec5dbc06099c417eac2422d9ebd7bfc9ada74e8b8 /monkey/edits.py
parentcbc096f9cb44a7d26b4fa01a40dbba594ab339ca (diff)
Store identifiers instead of IDs in Problem model
Diffstat (limited to 'monkey/edits.py')
-rw-r--r--monkey/edits.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/monkey/edits.py b/monkey/edits.py
index 8412f8a..5d07bfd 100644
--- a/monkey/edits.py
+++ b/monkey/edits.py
@@ -257,10 +257,10 @@ if __name__ == '__main__':
solutions = Solution.filter(problem_id=pid, done=True)
traces = [s.trace for s in solutions if s.codeq_user_id not in ignored_users]
if not traces:
- print('No traces for {}'.format(problem.name))
+ print('No traces for {}'.format(problem.identifier))
continue
- print('Analyzing traces for {}… '.format(problem.name), end='', flush=True)
+ print('Analyzing traces for {}… '.format(problem.identifier), end='', flush=True)
try:
edits[pid], submissions[pid], queries[pid], names[pid] = get_edits_from_traces(traces)
print('{} edits, {} submissions, {} queries, {} names'.format(