tests/Makefile

   1 SBY_FILES=$(wildcard *.sby)
   2 SBY_TESTS=$(addprefix test_,$(SBY_FILES:.sby=))
   3 JUNIT_TESTS=junit_assert_pass junit_assert_fail junit_assert_preunsat \
   4 junit_cover_pass junit_cover_uncovered junit_cover_assert junit_cover_preunsat \
   5 junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solver
   6
   7 .PHONY: test validate_junit scripted
   8
   9 test: $(JUNIT_TESTS)
  10
  11 test_%: %.sby FORCE
  12         python3 ../sbysrc/sby.py -f $<
  13
  14 $(JUNIT_TESTS): $(SBY_TESTS)
  15         python3 validate_junit.py $@/$@.xml
  16
  17 scripted:
  18         make -C scripted
  19
  20 FORCE: