ci housekeeping

diff --git a/tests/.gitignore b/tests/.gitignore
index 1feaa191871750cae50be3406de1970d60e11419..212f4ddbe1f3e25fcc3abb967ed421e5905ef440 100644 (file)
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -7,3 +7,6 @@
 /prv32fmcmp*/
 /redxor*/
 /stopfirst*/
+/junit_*/
+/submod_props*/
+/multi_assert*/

diff --git a/tests/Makefile b/tests/Makefile
index 9370991a3423306e64e72d46cdaf593771213631..8f1d00c5bc5ebdc3503a799a518874bec85ae1e3 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -6,8 +6,6 @@ junit_timeout_error_timeout junit_timeout_error_syntax junit_timeout_error_solve
 
 .PHONY: test validate_junit
 
-FORCE:
-
 test: $(JUNIT_TESTS)
 
 test_%: %.sby FORCE
@@ -15,3 +13,5 @@ test_%: %.sby FORCE
 
 $(JUNIT_TESTS): $(SBY_TESTS)
        python3 validate_junit.py $@/$@.xml
+
+FORCE: