diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-04 12:23:55 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-04 17:09:35 +0100 |
commit | b76536f4d15f605576dbab139038880e8afa2762 (patch) | |
tree | dbd9d005d798d294ec9856b239458ac0994fff30 /monkey | |
parent | 306a6b808c4b0434985946abe0d140af88441c55 (diff) |
Fix: use correct action types in monkey.edits
Diffstat (limited to 'monkey')
-rw-r--r-- | monkey/edits.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/monkey/edits.py b/monkey/edits.py index 0bbedef..df13940 100644 --- a/monkey/edits.py +++ b/monkey/edits.py @@ -54,8 +54,8 @@ def get_edits_from_trace(trace, test, id): code = code_next code_next = action.apply(code) - if action.type in {'solve', 'solve_all', 'test'}: - if action.type == 'solve' or action.type == 'solve_all': + if action.type in {'prolog_solve', 'test'}: + if action.type == 'prolog_solve': queries.add(action.query.rstrip(' .')) elif action.type == 'test': correct = test(code) |