Searched refs:SOLV_TEST (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile57 SOLV_TEST := $(shell $(if ${SKIP_SOLV_TEST}, echo ${SOLV_TEST_SUCC}, \ macro
59 $(if ${SOLV_TEST},,$(error Solver self-test failed (${SOLV} test)))

Completed in 20 milliseconds