# "interference-a-01.prsimrc"
# @haco@ interference-a.haco-a
# testing propagation of interference X's

# echo-commands on
interference warn
watchall
set a 0
set b 0
cycle
assert c 1
assert d 0
status-interference
status-weak-interference

set a 1
cycle

set b 1
advance 4
echo expect c- in queue
pending c
status-interference
status-weak-interference

set a 0
step-event

echo expect c -> X in queue
pending c

cycle
assert c X
assert d X
status-interference
status-weak-interference

