mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-27 01:39:23 +00:00
Code Activity
yosys/tests/functional
History
Emil J. Tywoniak 73747f6928 read_verilog: add -relativeshare for synthesis reproducibility testing
2025-09-16 15:47:35 +02:00
..
.gitignore
conftest.py
picorv32.v
picorv32_tb.v
README.md
rkt_vcd.py
rtlil_cells.py
run-test.sh
smt_vcd.py
smtio.py
test_functional.py read_verilog: add -relativeshare for synthesis reproducibility testing 2025-09-16 15:47:35 +02:00
vcd_harness.cc

README.md

Tests for the functional backend use pytest as a testrunner.

Run with pytest -v

Pytest options you might want:

  • -v: More progress indication.

  • --basetemp tmp: Store test files (including vcd results) in tmp. CAREFUL: contents of tmp will be deleted

  • -k <pattern>: Run only tests that contain the pattern, e.g. -k cxx or -k smt or -k demux or -k 'cxx[demux

  • -s: Don't hide stdout/stderr from the test code.

Custom options for functional backend tests:

  • --per-cell N: Run only N tests for each cell.