cores.compression.bit_stuffing: fix shift being signed #205
Annotations
10 errors
|
Run test suite:
naps/cores/dram_packet_ringbuffer/stream_if_test.py#L42
StreamIfTest.test_integration
TypeError: list indices must be integers or slices, not StatusSignal
|
|
Run test suite:
naps/cores/hdmi/tx/hdmi_test.py#L24
TestHdmi.test_timing_generator
TypeError: Received unsupported command <naps.soc.csr_types.StatusSignal object at 0x7f670e39d240> from process '/home/runner/work/naps/naps/naps/cores/hdmi/tx/hdmi_test.py:17'
|
|
Run test suite:
naps/cores/debug/packet_console_test.py#L40
PacketConsoleTest.test_roundtrip_complex
AssertionError: Lists differ: [10, 20, 30, 40, 0] != [0, 0, 0, 0, 0]
First differing element 0:
10
0
- [10, 20, 30, 40, 0]
? - - - -
+ [0, 0, 0, 0, 0]
|
|
Run test suite:
naps/cores/debug/packet_console_test.py#L43
PacketConsoleTest.test_roundtrip_one_byte
AssertionError: Lists differ: [66] != [0]
First differing element 0:
66
0
- [66]
+ [0]
|
|
Run test suite:
naps/cores/stream/fifo_test.py#L38
TestFifo.test_async_stream_fifo_buffered
TypeError: Received unsupported command <naps.soc.csr_types.StatusSignal object at 0x7f2fc6ae62c0> from process '/home/runner/work/naps/naps/naps/cores/stream/fifo_test.py:23'
|
|
Run test suite:
naps/cores/stream/fifo_test.py#L34
TestFifo.test_sim_async_stream_fifo
TypeError: Received unsupported command <naps.soc.csr_types.StatusSignal object at 0x7f2fc67e7ca0> from process '/home/runner/work/naps/naps/naps/cores/stream/fifo_test.py:23'
|
|
Run test suite:
naps/cores/stream/fifo_test.py#L42
TestFifo.test_sync_stream_fifo
TypeError: Received unsupported command <naps.soc.csr_types.StatusSignal object at 0x7f2fc65ade70> from process '/home/runner/work/naps/naps/naps/cores/stream/fifo_test.py:23'
|
|
Run test suite:
naps/cores/stream/fifo_test.py#L46
TestFifo.test_sync_stream_fifo_buffered
TypeError: Received unsupported command <naps.soc.csr_types.StatusSignal object at 0x7f2fc65d9a50> from process '/home/runner/work/naps/naps/naps/cores/stream/fifo_test.py:23'
|
|
Run test suite:
naps/cores/hispi/hispi_rx_test.py#L62
TestHispi.test_hispi_lane_manager_new_data
TypeError: Received unsupported command <naps.soc.csr_types.StatusSignal object at 0x7f670e33e440> from process '/home/runner/work/naps/naps/naps/cores/hispi/hispi_rx_test.py:53'
|
|
Run test suite:
naps/cores/stream/stream _memory_test.py#L39
StreamMemoryTest.test_output_stream_contract
AssertionError: Formal verification failed:
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] Removing directory '/home/runner/work/naps/naps/naps/cores/stream/.sim_results/StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert'.
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] Writing 'StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert/src/top.il'.
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: smtbmc
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] base: starting process "cd StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert/src; yosys -ql ../model/design.log ../model/design.ys"
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] base: finished (returncode=0)
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] prep: starting process "cd StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert/model; yosys -ql design_prep.log design_prep.ys"
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] prep: finished (returncode=0)
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] smt2: starting process "cd StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert/model; yosys -ql design_smt2.log design_smt2.ys"
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] smt2: finished (returncode=0)
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: starting process "cd StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert; yosys-smtbmc --presat --unroll --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 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Solver: yices
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Checking assumptions in step 0..
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Checking assertions in step 0..
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Checking assumptions in step 1..
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Checking assertions in step 1..
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Checking assumptions in step 2..
SBY 14:12:31 [StreamMemoryTest__test_output_stream_contract__verify_stream_output_contract__verify_stream_output_contract_assert] engine_0: ## 0:00:00 Checking assertions in step 2..
SBY 14:12:31 [StreamMemoryTest__test_output
|
The logs for this run have expired and are no longer available.
Loading