#!/bin/csh

rm -r rtests
chmod a-r $1/verilog.dump
cp -r $1 rtests
time rsp_random +ctrace -nocompile

grep "TRACE Error" random.stdout
grep "FAIL" random.log $1/random.log

mv $1/old $1/older
mkdir $1/old
mv $1/random* $1/older $1/old

cp random.* $1
rm -r rtests