From: Eddie Hung Date: Tue, 3 Dec 2019 22:51:39 +0000 (-0800) Subject: Check SB_CARRY name also preserved X-Git-Tag: working-ls180~931^2~9 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67f1ce2d4340c359137ac00e4ca085e6711986f3;p=yosys.git Check SB_CARRY name also preserved --- diff --git a/tests/arch/ice40/ice40_opt.ys b/tests/arch/ice40/ice40_opt.ys index 58c33acaa..860e2e211 100644 --- a/tests/arch/ice40/ice40_opt.ys +++ b/tests/arch/ice40/ice40_opt.ys @@ -84,3 +84,4 @@ synth_ice40 select -assert-count 1 t:SB_LUT4 select -assert-count 1 t:SB_CARRY select -assert-count 1 t:SB_CARRY a:keep %i +select -assert-count 1 t:SB_CARRY c:carry %i