From: Eddie Hung <eddie@fpgeh.com>
Date: Sun, 21 Apr 2019 21:49:18 +0000 (-0700)
Subject: Merge remote-tracking branch 'origin/clifford/libwb' into xaig
X-Git-Tag: working-ls180~1237^2~172
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=42a6e0b0b96208c5b0d79da5d8e31e9306a8aeae;p=yosys.git

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

42a6e0b0b96208c5b0d79da5d8e31e9306a8aeae
diff --cc tests/tools/autotest.sh
index 99768b0ec,bb9c3bfb5..86a90793e
--- a/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