# "chpsimckpt-template.chpsimrc"
#	$Id: chpsimckpt-template.chpsimrc,v 1.3 2009/02/01 07:21:53 fang Exp $

# trace ...
echo DELETE FROM HERE
source SOURCE
echo DELETE TO HERE
# also include causality information in the event queue
cause
dump-state
# now saved by autosave
# save CHECKPOINT

