# "celem-fb-01.prsimrc"
# @haco@ celem-fb.haco-a

fanin Z._c
fanout Z._c

watchall

set a 0
set b 0
cycle
assert Z._c 1
assert c 0

set a 1
cycle
assert Z._c 1
assert c 0

set b 1
advance 5
queue
set b 0
echo expect usual instability reported here
cycle

