# "weak-fight-a-01.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 5
queue
cycle
assert c 1
time

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

