diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-02-25 18:20:47 +0100 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:02 +0200 |
commit | 3d73ab2b861f0178001071a7e35c726be46f82ce (patch) | |
tree | 29e92525539ebf780bcd75d637297f4ae21020e9 /monkey/monkey.py | |
parent | 33f8ee41766a24df7b2755a09d1554342394ed93 (diff) |
Don't store solution-line frequencies
This is currently unused.
Diffstat (limited to 'monkey/monkey.py')
-rwxr-xr-x | monkey/monkey.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/monkey/monkey.py b/monkey/monkey.py index d17d9f1..3de0a41 100755 --- a/monkey/monkey.py +++ b/monkey/monkey.py @@ -13,7 +13,7 @@ from .util import PQueue # and predicates). # Return (solution, edits, time spent, #programs checked). If no solution is # found within [timeout] seconds, solution='' and edits=[]. -def fix(name, code, edits, program_lines, aux_code='', timeout=30, debug=False): +def fix(name, code, edits, aux_code='', timeout=30, debug=False): # A dictionary of edits with costs for each edit type (insert, remove or # change a line). Edits are tuples (before, after), where before and after # are sequences of tokens. Variable names are normalized to A0, A1, A2,…. |