# "weak-vs-weak-02.prsimrc"
# @haco@ weak-vs-weak.haco-a

# [weak] ~a -> c+
# [weak] b  -> c-

weak-rules on
timing uniform 10

set a 1
set b 0
cycle
assert c X
echo c: still unknown value

echo testing for instability

set a 0
advance 5
queue
assert c X

set a 1
echo unstable guard, expect unstable
cycle
assert c X

