From c3e5d9835141c46302257c58b0664857720576f7 Mon Sep 17 00:00:00 2001 From: Natalia Date: Fri, 19 Dec 2025 05:29:59 -0800 Subject: [PATCH] remove test --- tests/techmap/lut2bmux.ys | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 tests/techmap/lut2bmux.ys diff --git a/tests/techmap/lut2bmux.ys b/tests/techmap/lut2bmux.ys deleted file mode 100644 index 171b31656..000000000 --- a/tests/techmap/lut2bmux.ys +++ /dev/null @@ -1,22 +0,0 @@ -read_rtlil << EOT -module \top - wire width 4 input 0 \A - wire output 1 \Y - - cell $lut $0 - parameter \WIDTH 4 - parameter \LUT 16'b0110100110010110 - connect \A \A - connect \Y \Y - end -end -EOT - -hierarchy -auto-top - -# Prove lut2bmux preserves behavior -equiv_opt -assert lut2bmux - -# And check the structural rewrite happened -select -assert-count 0 t:$lut -select -assert-count 1 t:$bmux r:WIDTH=1 r:S_WIDTH=4 %i