Skip to content

Commit 1db4808

Browse files
committed
Fix another typo
1 parent 4e25386 commit 1db4808

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

tests/injection_demo.py

+3-2
Original file line numberDiff line numberDiff line change
@@ -180,8 +180,9 @@ def transform_str(characters):
180180
# num_examples=2)
181181

182182
cozy.execution_graph.dump_comparison(proj_prepatched, proj_postpatched_good,
183-
prepatched_results, postpatched_results_good,
184-
comparison_good, first_prog, second_prog,
183+
prepatched_results, postpatched_results_good, comparison_good,
184+
'test_programs/injection_demo/injectionAttack',
185+
'test_programs/injection_demo/injectionAttack-goodPatch-patcherex',
185186
output_file="cmp_injection_demo_good.json",
186187
concrete_post_processor=concrete_post_processor,
187188
args=[command_symbols, role_symbols, data_symbols],

0 commit comments

Comments
 (0)