diff options
Diffstat (limited to 'tests/opt/opt_rmdff_sat.ys')
| -rw-r--r-- | tests/opt/opt_rmdff_sat.ys | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/opt/opt_rmdff_sat.ys b/tests/opt/opt_rmdff_sat.ys index 1c3dd9c05..231c43ecb 100644 --- a/tests/opt/opt_rmdff_sat.ys +++ b/tests/opt/opt_rmdff_sat.ys @@ -1,5 +1,5 @@ read_verilog opt_rmdff_sat.v prep -flatten -opt_rmdff -sat -synth +opt_dff -sat -nosdff +simplemap select -assert-count 5 t:$_DFF_P_ |