diff options
Diffstat (limited to 'tests/opt/opt_ff_sat.ys')
| -rw-r--r-- | tests/opt/opt_ff_sat.ys | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/opt/opt_ff_sat.ys b/tests/opt/opt_ff_sat.ys index 13e4ad29b..4e7cc6ca4 100644 --- a/tests/opt/opt_ff_sat.ys +++ b/tests/opt/opt_ff_sat.ys @@ -2,3 +2,4 @@ read_verilog opt_ff_sat.v prep -flatten opt_rmdff -sat synth +select -assert-count 5 t:$_DFF_P_ |