# "random-timing-test-short.chpsimrc"
#	$Id: random-timing-test-short.chpsimrc,v 1.2 2009/02/01 07:22:30 fang Exp $
# common test script for stability testing, short version

initialize
timing random
step 10000
assert-queue
autosave on

