Tests: yosys-testsuite
Depends: yosys-tests
Restrictions: allow-stderr

Tests: ice, smtbc
Depends: yosys
