note unexpected return statuses in junit

[SymbiYosys.git] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index 8f1d00c5bc5ebdc3503a799a518874bec85ae1e3..15e87ff3ea21e1405df35d44a6a3a7a1882a5f5f 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -4,7 +4,7 @@ JUNIT_TESTS=junit_assert_pass junit_assert_fail junit_assert_preunsat \
 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)
 
@@ -14,4 +14,7 @@ test_%: %.sby FORCE
 $(JUNIT_TESTS): $(SBY_TESTS)
        python3 validate_junit.py $@/$@.xml
 
+scripted:
+       make -C scripted
+
 FORCE: