diff options
| -rw-r--r-- | tests/opt/opt_expr.ys (renamed from tests/various/opt_expr.ys) | 0 | ||||
| -rw-r--r-- | tests/opt/opt_rmdff.v (renamed from tests/various/opt_rmdff.v) | 0 | ||||
| -rw-r--r-- | tests/opt/opt_rmdff.ys (renamed from tests/various/opt_rmdff.ys) | 0 | ||||
| -rw-r--r-- | tests/opt/opt_rmdff_sat.v (renamed from tests/opt/opt_ff_sat.v) | 0 | ||||
| -rw-r--r-- | tests/opt/opt_rmdff_sat.ys (renamed from tests/opt/opt_ff_sat.ys) | 2 |
5 files changed, 1 insertions, 1 deletions
diff --git a/tests/various/opt_expr.ys b/tests/opt/opt_expr.ys index 0c61ac881..0c61ac881 100644 --- a/tests/various/opt_expr.ys +++ b/tests/opt/opt_expr.ys diff --git a/tests/various/opt_rmdff.v b/tests/opt/opt_rmdff.v index b1c06703c..b1c06703c 100644 --- a/tests/various/opt_rmdff.v +++ b/tests/opt/opt_rmdff.v diff --git a/tests/various/opt_rmdff.ys b/tests/opt/opt_rmdff.ys index 081f81782..081f81782 100644 --- a/tests/various/opt_rmdff.ys +++ b/tests/opt/opt_rmdff.ys diff --git a/tests/opt/opt_ff_sat.v b/tests/opt/opt_rmdff_sat.v index 5a0a6fe37..5a0a6fe37 100644 --- a/tests/opt/opt_ff_sat.v +++ b/tests/opt/opt_rmdff_sat.v diff --git a/tests/opt/opt_ff_sat.ys b/tests/opt/opt_rmdff_sat.ys index 4e7cc6ca4..1c3dd9c05 100644 --- a/tests/opt/opt_ff_sat.ys +++ b/tests/opt/opt_rmdff_sat.ys @@ -1,4 +1,4 @@ -read_verilog opt_ff_sat.v +read_verilog opt_rmdff_sat.v prep -flatten opt_rmdff -sat synth |