...

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 -