diff --git a/tools/generate_io_baseline.sh b/tools/generate_io_baseline.sh index 72c0299fbb4e6a68c82847326eecba615e0975f2..36ed0291cab00ae0884fa10dd76de8ea90bfe67c 100755 --- a/tools/generate_io_baseline.sh +++ b/tools/generate_io_baseline.sh @@ -8,6 +8,7 @@ TOP_DIR=$1 BINARY=`basename $2` INPUT_DIR=$3 + BASELINE_OUTPUT_DIR=replay.baseline echo "==========================================================================" @@ -15,6 +16,7 @@ echo "Running replayer to get baseline outputs on binary: $TOP_DIR/$BINARY" echo " Input directory: $INPUT_DIR" echo " Output directory: $BASELINE_OUTPUT_DIR" echo "==========================================================================" + cd $TOP_DIR mkdir $BASELINE_OUTPUT_DIR @@ -26,3 +28,4 @@ do $GRACE_HOME/concolic/bin/replayer --stdout=$BASELINE_OUTPUT_DIR/stdout.$input --stderr=$BASELINE_OUTPUT_DIR/stderr.$input --engine=ptrace ./$BINARY $i done +cd -