Test-Command: debian/yosys-testsuite "$AUTOPKGTEST_TMP"
Depends: yosys-tests

Tests: ice, smtbc
Depends: yosys

