diff --git a/tests/select/blackboxes.ys b/tests/select/blackboxes.ys index 0031de194..9bfe92c6b 100644 --- a/tests/select/blackboxes.ys +++ b/tests/select/blackboxes.ys @@ -16,6 +16,13 @@ module wb(input a, b, output o); assign o = a ^ b; endmodule EOT +clean select -assert-count 1 c:* select -assert-none t:* t:$and %d +select -assert-count 3 w:* +select -assert-count 4 * + +select -assert-count 3 =c:* +select -assert-count 10 =w:* +select -assert-count 13 =*