tests/select: Add tests for selections with boxes

tests/select/blackboxes.ys

@@ -1,28 +0,0 @@
-read_verilog -specify <<EOT
-module top(input a, b, output o);
-assign o = a & b;
-endmodule
-
-(* blackbox *)
-module bb(input a, b, output o);
-assign o = a | b;
-specify
-	(a => o) = 1;
-endspecify
-endmodule
-
-(* whitebox *)
-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 =*