luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use this for now so we can see actual output of functional tests

This commit is contained in:
Miodrag Milanovic 2026-03-25 11:48:54 +01:00
parent a490f1c3c4
commit 8bed9bd824
2 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
tests/Makefile
View File

@ -71,9 +71,9 @@ MK_TEST_DIRS += ./memfile
MK_TEST_DIRS += ./fmt MK_TEST_DIRS += ./fmt
MK_TEST_DIRS += ./cxxrtl MK_TEST_DIRS += ./cxxrtl
MK_TEST_DIRS += ./liberty MK_TEST_DIRS += ./liberty
ifeq ($(ENABLE_FUNCTIONAL_TESTS),1) #ifeq ($(ENABLE_FUNCTIONAL_TESTS),1)
MK_TEST_DIRS += ./functional #MK_TEST_DIRS += ./functional
endif #endif
MK_TEST_DIRS += ./memories MK_TEST_DIRS += ./memories
MK_TEST_DIRS += ./aiger MK_TEST_DIRS += ./aiger
MK_TEST_DIRS += ./alumacc MK_TEST_DIRS += ./alumacc
@ -96,7 +96,13 @@ makefile-./%: %/Makefile
@$(MAKE) -C $* @$(MAKE) -C $*
@echo "...passed tests in $*" @echo "...passed tests in $*"
vanilla-test: prep makefile-tests .PHONY: functional
functional:
ifeq ($(ENABLE_FUNCTIONAL_TESTS),1)
@cd functional && ./run-test.sh
endif
vanilla-test: prep makefile-tests functional
@echo "" @echo ""
@echo " Passed \"make vanilla-test\"." @echo " Passed \"make vanilla-test\"."
ifeq ($(ENABLE_VERIFIC),1) ifeq ($(ENABLE_VERIFIC),1)

4
tests/functional/run-test.sh Executable file
View File

@ -0,0 +1,4 @@
#!/usr/bin/env bash
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
pytest -v -m "not smt and not rkt" "$SCRIPT_DIR" "$@"