Merge pull request #150 from nakengelhardt/fix_junit_type_assignment

note unexpected return statuses in junit

diff --cc tests/.gitignore
Simple merge

diff --cc tests/Makefile
index 46ec23b291a8b8fa371fb4961ad49ba03b4dc20f,15e87ff3ea21e1405df35d44a6a3a7a1882a5f5f..177688c0a4dc0b0ae6689534d3904d7e3ec77ffd
--- 1/tests/Makefile
--- 2/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 $<