Skip to content

Commit 4e25386

Browse files
committed
Fix postpatched names
1 parent af144b2 commit 4e25386

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

tests/injection_demo.py

+2-2
Original file line numberDiff line numberDiff line change
@@ -179,8 +179,8 @@ def transform_str(characters):
179179
# args=[command_symbols, role_symbols, data_symbols],
180180
# num_examples=2)
181181

182-
cozy.execution_graph.dump_comparison(proj_prepatched, proj_postpatched,
183-
prepatched_results, postpatched_results,
182+
cozy.execution_graph.dump_comparison(proj_prepatched, proj_postpatched_good,
183+
prepatched_results, postpatched_results_good,
184184
comparison_good, first_prog, second_prog,
185185
output_file="cmp_injection_demo_good.json",
186186
concrete_post_processor=concrete_post_processor,

0 commit comments

Comments
 (0)