Ralf Habacker c14c73dd9a ivtest: Integration of regression tests into the build system ...

Replace .github/test.sh with a unified set of targets installed
via `make check-*` in ivtest/, thereby removing CI-specific test
coordination. This avoids duplication in the regression logic and
ensures consistent execution between local and CI environments.
PLI1-dependent tests are now correctly controlled via
`configure --enable-libveriuser`.

Currently, the regression suite still depends on an iverilog package,
which must be installed manually at the location specified with
`configure --prefix=*`. Afterward, the complete regression suite
(VVP, VPI, and Python tests) can be run via `make check-installed`
and individual checks can be run with `check-installed-vpi`,
`check-installed-vvp` and `check-installed-vvp-py`.

2026-04-30 17:04:53 +02:00

..

deploy_docs.yml

Action to deploy documentation to gh-pages

2022-04-15 20:49:13 -07:00

test.yml

ivtest: Integration of regression tests into the build system

2026-04-30 17:04:53 +02:00