diff options
Diffstat (limited to 'tests/various/opt_rmdff.ys')
| -rw-r--r-- | tests/various/opt_rmdff.ys | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/various/opt_rmdff.ys b/tests/various/opt_rmdff.ys index fffffb4b5..081f81782 100644 --- a/tests/various/opt_rmdff.ys +++ b/tests/various/opt_rmdff.ys @@ -2,12 +2,13 @@ read_verilog -icells opt_rmdff.v prep design -stash gold read_verilog -icells opt_rmdff.v +proc opt_rmdff select -assert-count 0 c:remove* select -assert-min 7 c:keep* +select -assert-count 0 t:$dffe 7:$_DFFE_* %u c:noenable* %i -prep design -stash gate design -import gold -as gold |