# "interference-09.prsimrc"
# @haco@ interference.haco-a

interference warn
watchall
set c 0
cycle
set b 0
cycle
assert c 0
status-interference
status-weak-interference
unset c
queue
assert-queue
echo expect c -> X
cycle
assert c X
status-interference
status-weak-interference

