From: N. Engelhardt Date: Wed, 30 Mar 2022 10:53:48 +0000 (+0200) Subject: Merge pull request #150 from nakengelhardt/fix_junit_type_assignment X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2e0087fd2f4b82ea53bf27c171281b7c6382952e;p=SymbiYosys.git Merge pull request #150 from nakengelhardt/fix_junit_type_assignment note unexpected return statuses in junit --- 2e0087fd2f4b82ea53bf27c171281b7c6382952e diff --cc tests/Makefile index 46ec23b,15e87ff..177688c --- a/tests/Makefile +++ b/tests/Makefile @@@ -6,9 -4,9 +6,9 @@@ JUNIT_TESTS=junit_assert_pass junit_ass junit_cover_pass junit_cover_uncovered junit_cover_assert junit_cover_preunsat \ junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solver - .PHONY: test validate_junit + .PHONY: test validate_junit scripted -test: $(JUNIT_TESTS) +test: $(JUNIT_TESTS) $(CHECK_PY_TASKS) test_%: %.sby FORCE python3 ../sbysrc/sby.py -f $<