PacketConsoleTest.test_source_output_stream_contract AssertionError: Formal verification failed: SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/debug/.sim_results/PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:20 [PacketConsoleTest__test_source_output_stream_contr

TestAxiReader.test_burster_stream_output AssertionError: Formal verification failed: SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 did not produce any traces SBY 16:05:20 [TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: unreached cover statements: SBY 16:05:

TestAxiReader.test_reader_stream_output AssertionError: Formal verification failed: SBY 16:05:20 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:20 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:20 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:20 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 did not produce any traces SBY 16:05:21 [TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover] summary: unreached cover statements: SBY 16:05:21 [TestAxiReader__test_r

TestAxiWriter.test_burster_address_output_stream_contract AssertionError: Formal verification failed: SBY 16:05:21 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:21 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:21 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:21 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:22 [TestAxiWriter__test_burster_address_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] su

TestAxiWriter.test_burster_data_output_stream_contract AssertionError: Formal verification failed: SBY 16:05:22 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:22 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:22 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:22 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:23 [TestAxiWriter__test_burster_data_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:23 [TestAx

TestAxiWriter.test_packetizer_output_stream_contract AssertionError: Formal verification failed: SBY 16:05:23 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:23 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:23 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:23 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:24 [TestAxiWriter__test_packetizer_output_stream_contrac

BitStufferTest.test_output_stream_properties AssertionError: Formal verification failed: SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/compression/.sim_results/BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 did not produce any traces SBY 16:05:24 [BitStufferTest__test_output_stream_properties__verify_

HuffmanTest.test_output_stream_properties AssertionError: Formal verification failed: SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/compression/.sim_results/HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 did not produce any traces SBY 16:05:25 [HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: unrea

RleTest.test_output_stream_properties AssertionError: Formal verification failed: SBY 16:05:25 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] Removing directory '/home/runner/work/naps/naps/naps/cores/compression/.sim_results/RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover'. SBY 16:05:25 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] Writing 'RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/src/top.il'. SBY 16:05:25 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: smtbmc SBY 16:05:25 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] base: starting process "cd RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/src; yowasp-yosys -ql ../model/design.log ../model/design.ys" SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] base: finished (returncode=0) SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] prep: starting process "cd RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_prep.log design_prep.ys" SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] prep: finished (returncode=0) SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: starting process "cd RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/model; yowasp-yosys -ql design_smt2.log design_smt2.ys" SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] smt2: finished (returncode=0) SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: starting process "cd RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover; yosys-smtbmc --presat --unroll -c --noprogress -t 10 --append 0 --dump-vcd engine_0/trace%.vcd --dump-yw engine_0/trace%.yw --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2" SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: bash: line 1: yosys-smtbmc: command not found SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: finished (returncode=127) SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] engine_0: COMMAND NOT FOUND. ERROR. SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 (smtbmc) did not return a status SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: engine_0 did not produce any traces SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover] summary: unreached cover statements: SBY 16:05:26 [RleTest__test_output_stream_properties__verify_stream_output_co