mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-26 22:35:47 +00:00
Code Activity

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

Browse source
This commit is contained in:
Miodrag Milanovic 2026-03-25 11:48:54 +01:00
parent d656f5dcdb
commit 19cf399da6
2 changed files with 14 additions and 4 deletions
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 += ./cxxrtl
MK_TEST_DIRS += ./liberty
ifeq ($(ENABLE_FUNCTIONAL_TESTS),1)
MK_TEST_DIRS += ./functional
endif
#ifeq ($(ENABLE_FUNCTIONAL_TESTS),1)
#MK_TEST_DIRS += ./functional
#endif
MK_TEST_DIRS += ./memories
MK_TEST_DIRS += ./aiger
MK_TEST_DIRS += ./alumacc
@ -96,7 +96,13 @@ makefile-./%: %/Makefile
@$(MAKE) -C $*
@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 " Passed \"make vanilla-test\"."
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" "$@"