Merge remote-tracking branch 'origin/clifford/libwb' into xaig

diff --cc tests/tools/autotest.sh
index 99768b0ec657b9e2a786d9a1da8e835310d97969,bb9c3bfb5f863c340aba134f8a2fbb67dd102bdf..86a90793e392c51986aa4b84064d23e71dcbea8c
--- 1/tests/tools/autotest.sh
--- 2/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@@ -136,9 -137,8 +136,9 @@@ d
                        egrep -v '^\s*`timescale' ../$fn > ${bn}_ref.${ext}
                else
                        "$toolsdir"/../../yosys -f "$frontend $include_opts" -b "verilog" -o ${bn}_ref.v ../${fn}
-                       frontend="verilog"
+                       frontend="verilog -noblackbox"
                fi
 +              rm -f ${bn}_ref.fir
  
                if [ ! -f ../${bn}_tb.v ]; then
                        "$toolsdir"/../../yosys -f "$frontend $include_opts" -b "test_autotb $autotb_opts" -o ${bn}_tb.v ${bn}_ref.v