Source: yosys Version: 0.15-1 Severity: serious Control: block 1008718 by -1
https://ci.debian.net/packages/y/yosys/unstable/amd64/ ... 2.49. Executing BLIF backend. ERROR: Found unmapped processes in module design_ice: unmapped processes are not supported in BLIF backend! autopkgtest [12:35:12]: test ice: -----------------------] autopkgtest [12:35:12]: test ice: - - - - - - - - - - results - - - - - - - - - - ice FAIL non-zero exit status 1 autopkgtest [12:35:12]: test ice: - - - - - - - - - - stderr - - - - - - - - - - ERROR: Found unmapped processes in module design_ice: unmapped processes are not supported in BLIF backend! autopkgtest [12:35:12]: test smtbc: preparing testbed Reading package lists... Building dependency tree... Reading state information... Starting pkgProblemResolver with broken count: 0 Starting 2 pkgProblemResolver with broken count: 0 Done 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. After this operation, 0 B of additional disk space will be used. Setting up autopkgtest-satdep (0) ... (Reading database ... 27049 files and directories currently installed.) Removing autopkgtest-satdep (0) ... autopkgtest [12:35:15]: test smtbc: [----------------------- autopkgtest [12:35:15]: test smtbc: -----------------------] autopkgtest [12:35:15]: test smtbc: - - - - - - - - - - results - - - - - - - - - - smtbc PASS autopkgtest [12:35:15]: @@@@@@@@@@@@@@@@@@@@ summary ice FAIL non-zero exit status 1 smtbc PASS In a short test with 0.17, this appear to fix it.
