Searched refs:PROOF_TESTS_THY (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/l4v/tools/autocorres/ | ||
H A D | Makefile | 18 PROOF_TESTS_THY := $(wildcard tests/proof-tests/*.thy) macro 24 ALL_TESTS_THY := $(PARSE_TESTS_THY) $(PROOF_TESTS_THY) $(EXAMPLES_THY) |
Completed in 27 milliseconds