# "inv-12.prsimrc"
# @haco@ inv.haco-a
#	$Id: inv-12.prsimrc,v 1.2 2006/07/18 04:09:22 fang Exp $

# testing the setf command

watchall
set a 0
advance 5
queue

setf b 0
echo set b 0 accepted
queue
echo continuing...
cycle
echo kind of incoherent with a- and b-...
echo what happens if we set a+ now?

set a 1
cycle
echo nothing, vacuous event suppressed
assert b 0
assert c 1

