# "inv-20aprsimrc"
# @haco@ inv.haco-a
# trying to reproduce stuck-away-from-X bug

# unstable-unknown
weak-rules on
unstable warn
watchall
set a 1
cycle
assert b 0
assert c 1

set a 0
advance 4
queue
time

set a X
echo expect weak-instability on b+
cycle
# assert b X
# assert c X

unsetall
queue
assertn-queue


