diff options
Diffstat (limited to 'tests/opt/opt_share_cat.ys')
| -rw-r--r-- | tests/opt/opt_share_cat.ys | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/opt/opt_share_cat.ys b/tests/opt/opt_share_cat.ys new file mode 100644 index 000000000..c3f2f5a2f --- /dev/null +++ b/tests/opt/opt_share_cat.ys @@ -0,0 +1,9 @@ +read_verilog opt_share_cat.v +prep -flatten +opt +pmuxtree +opt_share +opt_clean + +select -assert-count 2 t:$sub +select -assert-count 0 t:$add |