diff options
Diffstat (limited to 'tests/techmap/shiftx2mux.ys')
| -rw-r--r-- | tests/techmap/shiftx2mux.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/techmap/shiftx2mux.ys b/tests/techmap/shiftx2mux.ys index f749e79b2..680681297 100644 --- a/tests/techmap/shiftx2mux.ys +++ b/tests/techmap/shiftx2mux.ys @@ -106,4 +106,4 @@ endmodule EOT opt wreduce -equiv_opt techmap +equiv_opt -assert techmap |