summaryrefslogtreecommitdiff
path: root/monkey/monkey.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-02-25 18:20:47 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:02 +0200
commit3d73ab2b861f0178001071a7e35c726be46f82ce (patch)
tree29e92525539ebf780bcd75d637297f4ae21020e9 /monkey/monkey.py
parent33f8ee41766a24df7b2755a09d1554342394ed93 (diff)
Don't store solution-line frequencies
This is currently unused.
Diffstat (limited to 'monkey/monkey.py')
-rwxr-xr-xmonkey/monkey.py2
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,….