Skip to content
Snippets Groups Projects
Commit 4ea6bab7 authored by johnp's avatar johnp
Browse files

Fix a typo in ps_analyze and add an extra timeout in do_concolic - OK johnp@ 

Former-commit-id: 0c50d09b60d7d236307f651087e67578db472102
parent c3770976
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 @ 4ea6bab7
......@@ -7,7 +7,7 @@ strata_exe=$exe.stratafied
annot=$exe.ncexe.annot
sym=$exe.sym
GRACE_TIMEOUT_VALUE=1800
whoami=`whoami`
......@@ -39,6 +39,6 @@ fi
echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args -s $sym $strata_exe
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
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