From b579ed1d0b9c344ac4ee5f832f388d429dfa2ea5 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Wed, 4 May 2011 17:48:29 +0000
Subject: [PATCH] Unblocking the peasoup toolchain by removing the tracer
 option from the replayer

---
 tools/ps_analyze.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/ps_analyze.sh b/tools/ps_analyze.sh
index 507813685..38d1ef7a5 100755
--- a/tools/ps_analyze.sh
+++ b/tools/ps_analyze.sh
@@ -70,7 +70,8 @@ $SMPSA_HOME/SMP-analyze.sh a.ncexe
 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  --iterations 25 --logging tracer,instance_times,trace
+$PEASOUP_HOME/tools/do_concolic.sh a  --iterations 25 --logging tracer
 # 2>&1 |egrep -e "INPUT VECTOR:" -e "1: argc ="
 # >/dev/null 2>&1 
 echo Done.
-- 
GitLab