# "precharge-e-repeat.prsimrc"
# @haco@ precharge-e.haco-a

# repeat

echo en[0] -> 1
echo en[1] -> 0
echo en[2] -> 0
set en[0] 1
set en[1] 0
set en[2] 0
advance 5
check-queue
cycle
assertn-queue
assert _o[0] 0
assert _o[1] 1
assert _o[2] 1

echo en[] -> X
set en[0] X
set en[1] X
set en[2] X
advance 5
queue
check-queue
cycle
assert _o[0] X
assert _o[1] X
assert _o[2] X
assertn-queue

echo en[0] -> 0
echo en[1] -> 1
echo en[2] -> 0
set en[0] 0
set en[1] 1
set en[2] 0
advance 5
check-queue
cycle
assert _o[0] 1
assert _o[1] 0
assert _o[2] 1
assertn-queue

echo en[] -> X
set en[0] X
set en[1] X
set en[2] X
advance 5
queue
check-queue
cycle
assert _o[0] X
assert _o[1] X
assert _o[2] X
assertn-queue

echo en[0] -> 0
echo en[1] -> 0
echo en[2] -> 1
set en[0] 0
set en[1] 0
set en[2] 1
advance 5
check-queue
cycle
assert _o[0] 1
assert _o[1] 1
assert _o[2] 0
assertn-queue

echo en[] -> X
set en[0] X
set en[1] X
set en[2] X
advance 5
queue
check-queue
cycle
assert _o[0] X
assert _o[1] X
assert _o[2] X
assertn-queue

