diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 10:16:14 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 10:16:14 -0700 |
| commit | 281cd10717448569fe55cb8b6414d4ce22697d4a (patch) | |
| tree | 6bbc756609d772acb573cc6bec95d1842d1bd95e | |
| parent | eaa5a3e786e7ebc5ad25ebd08e7e42f5a5337b5c (diff) | |
| download | yosys-281cd10717448569fe55cb8b6414d4ce22697d4a.tar.gz yosys-281cd10717448569fe55cb8b6414d4ce22697d4a.tar.bz2 yosys-281cd10717448569fe55cb8b6414d4ce22697d4a.zip | |
tests: update select black/white-box tests
| -rw-r--r-- | tests/select/blackboxes.ys | 7 |
1 files changed, 7 insertions, 0 deletions
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 =* |