3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-04 09:07:42 +00:00

tests: Parallelize

This commit is contained in:
Xiretza 2020-09-16 19:58:16 +02:00
parent acd47bbd52
commit 01260344d3
No known key found for this signature in database
GPG key ID: 17B78226F7139993
3 changed files with 20 additions and 9 deletions

View file

@ -9,12 +9,12 @@ while getopts "A:S:" opt
do
case "$opt" in
A) abcopt="-A $OPTARG" ;;
S) seed="-S $OPTARG" ;;
S) seed="$OPTARG" ;;
esac
done
shift "$((OPTIND-1))"
bash ../tools/autotest.sh $abcopt $seed -G *.v
${MAKE:-make} -f ../tools/autotest.mk SEED="$seed" EXTRA_FLAGS="$abcopt" *.v
for f in `egrep -l 'expect-(wr-ports|rd-ports|rd-clk)' *.v`; do
echo -n "Testing expectations for $f .."