diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-03-03 10:36:57 +0100 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:02 +0200 |
commit | 1b7af281e74c859e2ab931c79516a04af0532bbc (patch) | |
tree | 2a2820627d0073e893d0e89611f64db13ba4d246 /monkey | |
parent | c60dd8c66eb330a687fbd541f61663e185df53e0 (diff) |
Oops, a line got lost
Diffstat (limited to 'monkey')
-rwxr-xr-x | monkey/monkey.py | 1 |
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 |