diff options
Diffstat (limited to 'tests/opt/opt_rmdff_sat.ys')
| -rw-r--r-- | tests/opt/opt_rmdff_sat.ys | 5 |
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_ |