yosys/tests/functional at f624bcf2db6275d2d1022e6bd755be17221563a6 - mirrors/yosys - Libre-Chip.org

mirrors/yosys

mirror of https://github.com/YosysHQ/yosys synced 2026-06-27 11:08:48 +00:00

Miodrag Milanovic a689342207 Remove trailing whitespaces		2026-06-23 07:24:59 +02:00
..
.gitignore
conftest.py
generate_mk.py
picorv32.v
picorv32_tb.v
README.md	Remove trailing whitespaces	2026-06-23 07:24:59 +02:00
rkt_vcd.py	Remove trailing whitespaces	2026-06-23 07:24:59 +02:00
rtlil_cells.py
run-test.sh
smt_vcd.py	Remove trailing whitespaces	2026-06-23 07:24:59 +02:00
smtio.py
test_functional.py
test_smtbmc_witness_mismatch.py
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.