# "weak-unstable-a-02.prsimrc"
# @haco@ weak-unstable-a.haco-a
# this is actually strong unstable rules,
# however not detected because of overlap

# echo-commands on
unstable warn
unstable-dequeue

watch-queue
watch c

set a 0
set b 0
set _p 0
cycle
time

set _p 1
cycle

set a 1
step-event
time
pending c

set b 1
step-event
pending c

set b 0
step-event
echo a high should mask instability of b
pending c
assert-pending c

cycle
assert c 0

