diff options
Diffstat (limited to 'tests/various/specify.ys')
| -rw-r--r-- | tests/various/specify.ys | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/tests/various/specify.ys b/tests/various/specify.ys index a2b6038e4..9d55b8eb5 100644 --- a/tests/various/specify.ys +++ b/tests/various/specify.ys @@ -55,4 +55,23 @@ equiv_induct -seq 5 equiv_status -assert design -reset -read_verilog specify.v +read_verilog -specify <<EOT +(* blackbox *) +module test7_sub(input i, output o); +specify + (i => o) = 1; +endspecify +assign o = ~i; +endmodule + +module test7(input i, output o); + wire w; + test7_sub unused(i, w); + test7_sub used(i, o); +endmodule +EOT +hierarchy +cd test7 +clean +select -assert-count 1 c:used +select -assert-none c:* c:used %d |