EQY 13:30:25 [discharge] read_gold: starting process "yosys -ql discharge/gold.log discharge/gold.ys"
EQY 13:30:25 [discharge] read_gold: Warning: Replacing memory \mem with list of registers. See toy_fifo_chain.sv:40
EQY 13:30:25 [discharge] read_gate: starting process "yosys -ql discharge/gate.log discharge/gate.ys"
EQY 13:30:25 [discharge] read_gold: finished (returncode=0)
EQY 13:30:25 [discharge] read_gate: finished (returncode=0)
EQY 13:30:25 [discharge] combine: starting process "yosys -ql discharge/combine.log discharge/combine.ys"
EQY 13:30:25 [discharge] combine: finished (returncode=0)
EQY 13:30:25 [discharge] partition: starting process "cd discharge; yosys -ql partition.log partition.ys"
EQY 13:30:25 [discharge] partition: finished (returncode=0)
EQY 13:30:25 [discharge] Warning: Partition fifo_widget.full contains 1 unused gold inputs.
EQY 13:30:25 [discharge] Warning: Partition fifo_widget.empty contains 1 unused gold inputs.
EQY 13:30:25 [discharge] run: starting process "make -j1 -C discharge -f strategies.mk"
EQY 13:30:25 [discharge] run: make: Entering directory '/home/azureuser/agents/platform/athanor-sdk/examples/customer/toy_fifo_chain/_discharge_work/OBL_fifo_2_forwarding/discharge'
EQY 13:30:25 [discharge] run: Running strategy 'basic' on 'fifo_widget.empty'..
EQY 13:30:26 [discharge] run: Could not prove equivalence of partition 'fifo_widget.empty' using strategy 'basic'
EQY 13:30:26 [discharge] run: Running strategy 'basic' on 'fifo_widget.full'..
EQY 13:30:26 [discharge] run: Could not prove equivalence of partition 'fifo_widget.full' using strategy 'basic'
EQY 13:30:26 [discharge] run: Running strategy 'basic' on 'fifo_widget.pop_data'..
EQY 13:30:27 [discharge] run: Could not prove equivalence of partition 'fifo_widget.pop_data' using strategy 'basic'
EQY 13:30:27 [discharge] run: make -f strategies.mk summary
EQY 13:30:27 [discharge] run: make[1]: Entering directory '/home/azureuser/agents/platform/athanor-sdk/examples/customer/toy_fifo_chain/_discharge_work/OBL_fifo_2_forwarding/discharge'
EQY 13:30:27 [discharge] run: make[1]: Leaving directory '/home/azureuser/agents/platform/athanor-sdk/examples/customer/toy_fifo_chain/_discharge_work/OBL_fifo_2_forwarding/discharge'
EQY 13:30:27 [discharge] run: make: Leaving directory '/home/azureuser/agents/platform/athanor-sdk/examples/customer/toy_fifo_chain/_discharge_work/OBL_fifo_2_forwarding/discharge'
EQY 13:30:27 [discharge] run: finished (returncode=0)
EQY 13:30:27 [discharge] Warning: Failed to prove equivalence for 3/3 partitions:
EQY 13:30:27 [discharge] Failed to prove equivalence of partition fifo_widget.pop_data
EQY 13:30:27 [discharge] Failed to prove equivalence of partition fifo_widget.full
EQY 13:30:27 [discharge] Failed to prove equivalence of partition fifo_widget.empty
EQY 13:30:27 [discharge] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:01 (1)
EQY 13:30:27 [discharge] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:01 (1)
EQY 13:30:27 [discharge] DONE (FAIL, rc=2)
