diff options
Diffstat (limited to 'tests/techmap/pmux2mux.ys')
| -rw-r--r-- | tests/techmap/pmux2mux.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/techmap/pmux2mux.ys b/tests/techmap/pmux2mux.ys index 1714a6b87..1e08485ef 100644 --- a/tests/techmap/pmux2mux.ys +++ b/tests/techmap/pmux2mux.ys @@ -12,4 +12,4 @@ output [3:0] O; endmodule EOT -equiv_opt techmap -map +/pmux2mux.v +equiv_opt -assert techmap -map +/pmux2mux.v |