Bug#1010964: yosys: autopkgtest regression

[Adrian Bunk]

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.