diff options
Diffstat (limited to 'tests/techmap/dff2ff.ys')
| -rw-r--r-- | tests/techmap/dff2ff.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/techmap/dff2ff.ys b/tests/techmap/dff2ff.ys index 5adf14b07..6e7e6082b 100644 --- a/tests/techmap/dff2ff.ys +++ b/tests/techmap/dff2ff.ys @@ -13,4 +13,4 @@ EOT proc -equiv_opt techmap -map +/dff2ff.v +equiv_opt -assert techmap -map +/dff2ff.v |