1 SBY_FILES
=$(wildcard *.sby
)
2 SBY_TESTS
=$(addprefix test_
,$(SBY_FILES
:.sby
=))
3 CHECK_PY_FILES
=$(wildcard *.
check.py
)
4 CHECK_PY_TASKS
=$(addprefix check_
,$(CHECK_PY_FILES
:.
check.py
=))
5 JUNIT_TESTS
=junit_assert_pass junit_assert_fail junit_assert_preunsat \
6 junit_cover_pass junit_cover_uncovered junit_cover_assert junit_cover_preunsat \
7 junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solver
9 .PHONY
: test validate_junit
11 test: $(JUNIT_TESTS
) $(CHECK_PY_TASKS
)
14 python3 ..
/sbysrc
/sby.py
-f
$<
16 $(CHECK_PY_TASKS
): check_
%: %.
check.py test_
%
19 $(JUNIT_TESTS
): $(SBY_TESTS
)
20 python3 validate_junit.py
$@
/$@.xml