# "inv-13.prsimrc"
# @haco@ inv.haco-a
#	$Id: inv-13.prsimrc,v 1.3 2006/08/01 18:48:09 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? should b+ be queued?
# to restore correctness, yes

time
set a 0
queue
cycle
echo nothing, vacuous event suppressed
get a
get b

echo re-evaluate all nodes
unsetall
cycle
assert b 1
assert c 0

