#!/bin/sh
if [ -z "$1" ]; then
    echo 'run2 file.cfg [time]'
    exit 0
fi
rm -rf *.log*
../../iosim -f ../test/init.tst
[ -n "$2" ] &&time="-t $2"
../random -f $1 -d 0241 $time -r 9999
../../iosim -f ../test/quit.tst