python: switch to pdm #211
Annotations
10 errors
|
Run test suite:
naps/cores/compression/rle_test.py#L45
RleTest.test_output_stream_properties
AssertionError: Formal verification failed:
vcd: /home/runner/work/naps/naps/naps/cores/compression/.sim_results/RleTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/axi/stream_reader_test.py#L66
TestAxiReader.test_burster_stream_output
AssertionError: Formal verification failed:
vcd: /home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiReader__test_burster_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/axi/stream_reader_test.py#L59
TestAxiReader.test_reader_stream_output
AssertionError: Formal verification failed:
vcd: /home/runner/work/naps/naps/naps/cores/axi/.sim_results/TestAxiReader__test_reader_stream_output__verify_stream_output_contract__verify_stream_output_contract_cover/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/axi/stream_writer_test.py#L68
TestAxiWriter.test_burster_address_output_stream_contract
AssertionError: Formal verification failed:
vcd: /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/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/axi/stream_writer_test.py#L87
TestAxiWriter.test_burster_data_output_stream_contract
AssertionError: Formal verification failed:
vcd: /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/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/axi/stream_writer_test.py#L78
TestAxiWriter.test_packetizer_output_stream_contract
AssertionError: Formal verification failed:
vcd: /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/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/compression/bit_stuffing_test.py#L100
BitStufferTest.test_output_stream_properties
AssertionError: Formal verification failed:
vcd: /home/runner/work/naps/naps/naps/cores/compression/.sim_results/BitStufferTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/compression/huffman_encoder_test.py#L83
HuffmanTest.test_output_stream_properties
AssertionError: Formal verification failed:
vcd: /home/runner/work/naps/naps/naps/cores/compression/.sim_results/HuffmanTest__test_output_stream_properties__verify_stream_output_contract__verify_stream_output_contract_cover/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/debug/packet_console_test.py#L40
PacketConsoleTest.test_source_output_stream_contract
AssertionError: Formal verification failed:
vcd: /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/engine_0/trace.vcd
|
|
Run test suite:
naps/cores/peripherals/csr_bank_zynq_test.py#L22
TestAxiSlave.test_csr_bank_aggregator
amaranth._toolchain.yosys.YosysError: /home/runner/work/_temp/oss-cad-suite/libexec/yosys: /home/runner/work/_temp/oss-cad-suite/lib/libc.so.6: version `GLIBC_2.35' not found (required by /lib/x86_64-linux-gnu/libgcc_s.so.1)
/home/runner/work/_temp/oss-cad-suite/libexec/yosys: /home/runner/work/_temp/oss-cad-suite/lib/libc.so.6: version `GLIBC_2.34' not found (required by /lib/x86_64-linux-gnu/libgcc_s.so.1)
|
The logs for this run have expired and are no longer available.
Loading