From: Eddie Hung Date: Wed, 22 Apr 2020 17:16:14 +0000 (-0700) Subject: tests: update select black/white-box tests X-Git-Tag: working-ls180~595^2~1 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=281cd10717448569fe55cb8b6414d4ce22697d4a;p=yosys.git tests: update select black/white-box tests --- 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 =*