From 2737ceddb41eb2ccb91fe56bbb9347170c11c634 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Tue, 22 Mar 2011 15:00:42 +0000
Subject: [PATCH] Better diagnostics
---
tools/ps_validate.sh | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/tools/ps_validate.sh b/tools/ps_validate.sh
index fabd31a75..32a27975d 100755
--- a/tools/ps_validate.sh
+++ b/tools/ps_validate.sh
@@ -19,12 +19,14 @@ echo "=========================================="
for i in `ls $INPUT_DIR/input*.json`
do
+ echo ""
input=`basename $i .json`
- echo "ps_validate.sh: cmd: STRATA_SPRI_FILE=$BSPRI $GRACE_HOME/concolic/bin/replayer --symbols=a.sym --stdout=stdout.$input.$fn --stderr=stderr.$input.$fn --engine=sdt ./a.stratafied $i"
+ echo "ps_validate.sh: cmd: STRATA_SPRI_FILE=$BSPRI $GRACE_HOME/concolic/bin/replayer --symbols=a.sym --stdout=stdout.$input --stderr=stderr.$input --engine=sdt ./a.stratafied $i"
STRATA_SPRI_FILE="$BSPRI" "$GRACE_HOME/concolic/bin/replayer" --symbols=a.sym --stdout=stdout.$input --stderr=stderr.$input --engine=sdt ./a.stratafied $i
if [ ! -z replay.baseline/stdout.$input ];
then
+ diff replay.baseline/stdout.$input stdout.$input
if [ ! $? -eq 0 ]; then
echo "ps_validate.sh: divergence detected for input $i (stdout)"
@@ -40,6 +42,7 @@ do
if [ ! -z replay.baseline/stderr.$input ];
then
+ diff replay.baseline/stderr.$input stderr.$input
if [ ! $? -eq 0 ]; then
echo "ps_validate.sh: divergence detected for input $i (stderr)"
@@ -60,4 +63,5 @@ do
rm stderr.$input 2>/dev/null
done
+echo "ps_validate.sh: All inputs validated"
exit 0
--
GitLab