# "logic-defs-b-01.prsimrc"
# @haco@ logic-defs-b.haco-a
# @hacprsim-flags@ -t inv_chain<7>
# note: caller already wraps in quotes

what x
what x[0]

getall x[3]

why-x o
why-x-verbose o

set i 0
cycle
why o
why-not o
backtrace o

set i 1
cycle
why o
why-not o
backtrace o


