summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-03-03 10:36:57 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:02 +0200
commit1b7af281e74c859e2ab931c79516a04af0532bbc (patch)
tree2a2820627d0073e893d0e89611f64db13ba4d246
parentc60dd8c66eb330a687fbd541f61663e185df53e0 (diff)
Oops, a line got lost
-rwxr-xr-xmonkey/monkey.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/monkey/monkey.py b/monkey/monkey.py
index a7beb6e..8cf2163 100755
--- a/monkey/monkey.py
+++ b/monkey/monkey.py
@@ -220,6 +220,7 @@ def fix(name, code, edits, aux_code='', timeout=30, debug=False):
# Each program gets a task with the sequence of edits that generated it and
# the associated cost. First candidate with cost 1 is the initial program.
+ program = tuple(annotate(code))
todo.push((program, (), 1.0), -1.0)
n_tested = 0