aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt/opt_rmdff_sat.ys
diff options
context:
space:
mode:
authorDavid Shah <davey1576@gmail.com>2019-08-10 17:14:48 +0100
committerGitHub <noreply@github.com>2019-08-10 17:14:48 +0100
commitf9020ce2b35f2fc205fc71cb095efce1a24fd86d (patch)
tree73ac462dd723cc389070cea893ddc9c1998339a2 /tests/opt/opt_rmdff_sat.ys
parentf54bf1631ff37a83733c162e6ebd188c1d5ea18f (diff)
downloadyosys-f9020ce2b35f2fc205fc71cb095efce1a24fd86d.tar.gz
yosys-f9020ce2b35f2fc205fc71cb095efce1a24fd86d.tar.bz2
yosys-f9020ce2b35f2fc205fc71cb095efce1a24fd86d.zip
Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"
Diffstat (limited to 'tests/opt/opt_rmdff_sat.ys')
-rw-r--r--tests/opt/opt_rmdff_sat.ys5
1 files changed, 0 insertions, 5 deletions
diff --git a/tests/opt/opt_rmdff_sat.ys b/tests/opt/opt_rmdff_sat.ys
deleted file mode 100644
index 1c3dd9c05..000000000
--- a/tests/opt/opt_rmdff_sat.ys
+++ /dev/null
@@ -1,5 +0,0 @@
-read_verilog opt_rmdff_sat.v
-prep -flatten
-opt_rmdff -sat
-synth
-select -assert-count 5 t:$_DFF_P_