#!/bin/csh

rm -rf rtests
cp -r $1 rtests
grep "Starting random_idma" rtests/random.stdout | awk '{print $4}' > x.seed
time rsp_random +ctrace -nocompile +dumpvars +random_idma +`cat x.seed`
cp su.do $1 ; mv verilog.dump $1
rm -r rtests