tests/Makefile

   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
   8
   9 .PHONY: test validate_junit
  10
  11 test: $(JUNIT_TESTS) $(CHECK_PY_TASKS)
  12
  13 test_%: %.sby FORCE
  14         python3 ../sbysrc/sby.py -f $<
  15
  16 $(CHECK_PY_TASKS): check_%: %.check.py test_%
  17         python3 $<
  18
  19 $(JUNIT_TESTS): $(SBY_TESTS)
  20         python3 validate_junit.py $@/$@.xml
  21
  22 FORCE: