3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-06 19:21:23 +00:00

Speed up "make test" and related cleanups

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-08-17 14:37:07 +02:00
parent 41191f1ea4
commit 9e940f1276
6 changed files with 22 additions and 12 deletions

View file

@ -6,7 +6,7 @@
set -e
OPTIND=1
count=100
count=50
seed="" # default to no seed specified
while getopts "c:S:" opt
do