diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-11 12:03:39 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-11 12:03:39 +0100 |
| commit | ea3126052cd6af55c00959ad1ae73a6cc6b7ba49 (patch) | |
| tree | c02681d2ec930d69a26ea7b265d30a8874b7bf5a | |
| parent | b0a64cfb0e2c556aeb22bef25d34b0aa0d9f78b8 (diff) | |
monkey.edits: ignore edits that insert too much
| -rw-r--r-- | monkey/edits.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/monkey/edits.py b/monkey/edits.py index dfdf164..1743864 100644 --- a/monkey/edits.py +++ b/monkey/edits.py @@ -31,6 +31,8 @@ def get_edits_from_trace(trace, test, id): def add_edit(path, start, end, tree): if start == end: return + if len(end) > 2*len(start): + return edits[(path, start, end)].add(id) # Parse trace actions and ensure there is a separate action for each |