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

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

weak-rules on
timing uniform 10
# fanin c

echo both off
set a 1
set b 0
queue
cycle
assert c X
time

echo pull with weak
set a 0
advance 4
queue

echo overpower with strong
set b 1
advance 3
echo expect unstable overpower
queue
cycle
# CURRENTLY FAILS ASSERT (consistent with prsim)
assert c 0
time

echo de-assert weak
set a 1
cycle
assert c 0
time

