diff options
Diffstat (limited to 'tests/techmap/adff2dff.ys')
| -rw-r--r-- | tests/techmap/adff2dff.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/techmap/adff2dff.ys b/tests/techmap/adff2dff.ys index 53f7d2f08..6d03d1963 100644 --- a/tests/techmap/adff2dff.ys +++ b/tests/techmap/adff2dff.ys @@ -16,4 +16,4 @@ EOT proc -equiv_opt -async2sync techmap -map +/adff2dff.v +#equiv_opt -assert -async2sync techmap -map +/adff2dff.v |