mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-07 19:51:23 +00:00
Code Activity

tests: Centralize test collection and Makefile generation

Browse source
This commit is contained in:
Xiretza 2020-09-16 17:59:37 +02:00
parent c6ff947f6b
commit acd47bbd52
No known key found for this signature in database
GPG key ID: 17B78226F7139993
16 changed files with 136 additions and 222 deletions
Download patch file Download diff file Expand all files Collapse all files

22
tests/svtypes/run-test.sh
View file

@ -1,20 +1,4 @@
#!/usr/bin/env bash
set -e
{
echo "all::"
for x in *.ys; do
echo "all:: run-$x"
echo "run-$x:"
echo " @echo 'Running $x..'"
echo " @../../yosys -ql ${x%.ys}.log $x"
done
for x in *.sv; do
if [ ! -f "${x%.sv}.ys" ]; then
echo "all:: check-$x"
echo "check-$x:"
echo " @echo 'Checking $x..'"
echo " @../../yosys -ql ${x%.sv}.log -p \"prep -top top; sat -verify -prove-asserts\" $x"
fi
done
} > run-test.mk
exec ${MAKE:-make} -f run-test.mk
set -eu
source ../gen-tests-makefile.sh
run_tests --yosys-scripts --prove-sv