Closed yheechan closed 3 months ago
You have to execute your instrumented target program before using print_execution
This is because print_execution
actually prints szd_execution
in a human readable format, which is generated by executing an instrumented target program.
Thank you for the solution, I have followed your instructions and checked that it works.
I am having a problem with the command
print_execution
.The result from
print_execution
only shows results from the last input generated from the set of inputs intest-dir/
directory even though inputs other than the last input is copied toinput
file forprint_execution
.As an example, lets say the input of target program takes 2 integer values as symbolic values for concolic testing.
crown_crown
input.1
is 23 and 1input.10
(that last generated input by crown) is 12 and 3Then I copy
test-dir/input.1
to theinput
file in whichprint_execution
uses to execute and show results. However, when doing so (copyingtest-dir/input.1
toinput
),print_execution
shows output with input values as 12 and 3 which is fromtest-dir/input.10
.Has any other classmates experience such problem? Or have solutions for utilizing
print_execution
?Thank you.