1 # test/Regression/Verifier/Makefile
3 # This directory contains regression tests for the LLVM verifier pass. Basically
4 # all of these LLVM source files are invalid programs that should be marked as
8 include $(LEVEL)/test/Makefile.tests
10 TESTS := $(wildcard *.ll)
12 all:: $(addprefix Output/, $(TESTS:%.ll=%.ntbc))
14 Output/%.ntbc: %.ll $(LAS) Output/.dir
15 @echo "======== Verifying $< ==========="
16 if $(LAS) -f $< -o /dev/null; \
17 then $(FAILURE) $@; exit 1; \
18 else touch $@; exit 0;\