No commit message

No commit message

tools/do_concolic.sh

-#!/bin/sh
+#!/bin/sh 
 
 exe=$1
 shift
@@ -46,7 +46,8 @@ done
 
 oldulimit=`ulimit -S -t`
 ulimit -S -t 61
-STRATA_GRACE=1 controller $extra_args --start $start_ea --stop $stop_ea --symbols $sym --outputs 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 $strata_exe
+     STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym -o replay,coverage,instruction_addresses $strata_exe
 ulimit -S -t $oldulimit
 
 echo cleaning up

tools/ps_analyze.sh

@@ -90,7 +90,7 @@ echo Done.
 #
 echo Running concolic testing to generate inputs ...
 #$PEASOUP_HOME/tools/do_concolic.sh a  --iterations 25 --logging tracer,instance_times,trace
-$PEASOUP_HOME/tools/do_concolic.sh a  --timeout 60 --iteration-timeout 30 --iterations 25 --logging tracer,trace,inputs  > do_concolic.out 2>&1
+$PEASOUP_HOME/tools/do_concolic.sh a  -t 600 -u 60 -i 25 -l tracer,trace,inputs  > do_concolic.out 2>&1
 log do_concolic.out
 echo Done.