From 281cd10717448569fe55cb8b6414d4ce22697d4a Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Wed, 22 Apr 2020 10:16:14 -0700 Subject: [PATCH] tests: update select black/white-box tests --- tests/select/blackboxes.ys | 7 +++++++ 1 file changed, 7 insertions(+) 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 =* -- 2.30.2