#!/bin/sh

tracedir=/afs/cs/user/bwolen/fmcad98/smv-bdd-traces98
mbs="200 250 300 350 400 450 500 550 600 650 700 750 800 850 900 175 150 125"

usage() {
  echo "*** usage:  $0 <driver> <trace>" 2>&1
  exit 1
}

if [ $# -ne 2 ]; then usage; fi
if [ ! -x $1 ]
then
  echo "*** could not find executable $1" 2>&1
  usage
fi
if [ ! -f $tracedir/$2 ]
then
  echo "*** could not find trace $tracedir/$2" 2>&1
  usage
fi

driver="$1"
trace="$tracedir/$2"
host=`hostname | sed -e 's,\..*,,'`
out="out-${host}-`basename $driver`-`basename $trace .trace`"

if [ -d $out ]
then
  echo "saving results in $out"
else
  echo "generating result directory $out"
  mkdir $out
  if [ ! -d $out ]
  then
    echo "*** could not generate $out" 2>&1
    exit 1
  fi
fi

for mb in $mbs
do
  if [ -f $out/$mb.out ]
  then
    echo "skipping $mb MB"
  else
    echo "start (`date`) with $mb MB"
    ABCD_MB=$mb $driver $trace  2>&1 > $out/$mb.out
    echo "end   (`date`) with $mb MB"
  fi
done