Skip to content
Snippets Groups Projects
Commit ef575e14 authored by an7s's avatar an7s
Browse files

Have Grace produce exit status codes for each input 

Former-commit-id: e6b0622c6228ecf21f67896a757fa38a75ce7aaf
parent 81f1c89f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
tools/do_concolic.sh
+ 2
− 2
View file @ ef575e14
......@@ -44,8 +44,8 @@ do
done
echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym -o replay,coverage,instruction_addresses $strata_exe
STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym -o replay,coverage,instruction_addresses $strata_exe
echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym -o replay,coverage,instruction_addresses,exit_codes $strata_exe
STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym -o replay,coverage,instruction_addresses,exit_codes $strata_exe
echo cleaning up
killall -q controller
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment