tests: update select black/white-box tests

diff --git a/tests/select/blackboxes.ys b/tests/select/blackboxes.ys
index 0031de194ad2406df6b05579b91b07ac0ee2c2fe..9bfe92c6bf80235004e8624d213d91b7cc8d605b 100644 (file)
--- 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 =*