Skip to content
Snippets Groups Projects
Commit 5001b1dd authored by johnp's avatar johnp
Browse files

Fix a typo in extra timeout in do_concolic - OK johnp@ 

Former-commit-id: 27593a5ad878fb252092e6a5579a6a5c6003eba8
parent 0e11a945
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 1 deletion
tools/do_concolic.sh
+ 2
− 1
View file @ 5001b1dd
......@@ -39,6 +39,7 @@ fi
echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym $strata_exe
STRATA_GRACE=1 pgrp_timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym $strata_exe
STRATA_GRACE=1 $GRACE_HOME/concolic/bin/pgrp-timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym $strata_exe
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment