diff options
| author | Jannis Harder <me@jix.one> | 2022-08-30 13:56:05 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-10-07 16:04:51 +0200 |
| commit | 0113f44faaa5778afd0fa3afbdbf12f33f2cea4e (patch) | |
| tree | 24af24f2dfb61ca607b99b5ffee73a54bf6a0fc2 /tests/techmap/shiftx2mux.ys | |
| parent | 81906aa627ed4a2d232a27a84e050bf86f2f83a6 (diff) | |
| download | yosys-0113f44faaa5778afd0fa3afbdbf12f33f2cea4e.tar.gz yosys-0113f44faaa5778afd0fa3afbdbf12f33f2cea4e.tar.bz2 yosys-0113f44faaa5778afd0fa3afbdbf12f33f2cea4e.zip | |
Reenable existing equiv_opt tests
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 |