Searched refs:VERIFIER_TESTS_DIR (Results 1 – 1 of 1) sorted by relevance
303 VERIFIER_TESTS_DIR = $(OUTPUT)/verifier macro304 $(VERIFIER_TESTS_DIR):306 VERIFIER_TESTS_H := $(VERIFIER_TESTS_DIR)/tests.h311 $(VERIFIER_TESTS_H): $(VERIFIER_TEST_FILES) | $(VERIFIER_TESTS_DIR)
