xref: /linux/tools/testing/selftests/bpf/Makefile (revision 88091ff56b71d73c5577ebefcd4f0f721a359077)
1b2441318SGreg Kroah-Hartman# SPDX-License-Identifier: GPL-2.0
2618e165bSHendrik Brueckner
3d498f871SMickaël SalaünLIBDIR := ../../../lib
4e8f1f34aSZi Shen LimBPFDIR := $(LIBDIR)/bpf
502ea80b1SDaniel BorkmannAPIDIR := ../../../include/uapi
602ea80b1SDaniel BorkmannGENDIR := ../../../../include/generated
702ea80b1SDaniel BorkmannGENHDR := $(GENDIR)/autoconf.h
8d498f871SMickaël Salaün
902ea80b1SDaniel Borkmannifneq ($(wildcard $(GENHDR)),)
1002ea80b1SDaniel Borkmann  GENFLAGS := -DHAVE_GENHDR
1102ea80b1SDaniel Borkmannendif
1202ea80b1SDaniel Borkmann
133ef84346SJiong WangCLANG		?= clang
143ef84346SJiong WangLLC		?= llc
153ef84346SJiong WangLLVM_OBJCOPY	?= llvm-objcopy
163ef84346SJiong WangLLVM_READELF	?= llvm-readelf
173ef84346SJiong WangBTF_PAHOLE	?= pahole
189d120b41SJiong WangCFLAGS += -Wall -O2 -I$(APIDIR) -I$(LIBDIR) -I$(BPFDIR) -I$(GENDIR) $(GENFLAGS) -I../../../include \
199d120b41SJiong Wang	  -Dbpf_prog_load=bpf_prog_test_load \
209d120b41SJiong Wang	  -Dbpf_load_program=bpf_test_load_program
21af32efeeSYonghong SongLDLIBS += -lcap -lelf -lrt -lpthread
225aa5bd14SDaniel Borkmann
23f09b2e38SJesper Dangaard Brouer# Order correspond to 'make run_tests' order
2418b3ad90SDavid S. MillerTEST_GEN_PROGS = test_verifier test_tag test_maps test_lru_map test_lpm_map test_progs \
251d436885SAndrey Ignatov	test_align test_verifier_log test_dev_cgroup test_tcpbpf_user \
2625a7991cSHangbin Liu	test_sock test_btf test_sockmap get_cgroup_id_user test_socket_cookie \
2725a7991cSHangbin Liu	test_cgroup_storage test_select_reuseport test_section_names \
282d2a3ad8SAndrii Nakryiko	test_netcnt test_tcpnotify_user test_sock_fields test_sysctl test_hashmap \
29cd538502SAlan Maguire	test_btf_dump test_cgroup_attach xdping
306882804cSAlexei Starovoitov
31bd4aed0eSJiong WangBPF_OBJ_FILES = $(patsubst %.c,%.o, $(notdir $(wildcard progs/*.c)))
324836b463SJiong WangTEST_GEN_FILES = $(BPF_OBJ_FILES)
333ef84346SJiong Wang
3464e39ee2SJiong Wang# Also test sub-register code-gen if LLVM has eBPF v3 processor support which
3564e39ee2SJiong Wang# contains both ALU32 and JMP32 instructions.
363ef84346SJiong WangSUBREG_CODEGEN := $(shell echo "int cal(int a) { return a > 0; }" | \
373ef84346SJiong Wang			$(CLANG) -target bpf -O2 -emit-llvm -S -x c - -o - | \
3864e39ee2SJiong Wang			$(LLC) -mattr=+alu32 -mcpu=v3 2>&1 | \
393ef84346SJiong Wang			grep 'if w')
403ef84346SJiong Wangifneq ($(SUBREG_CODEGEN),)
414836b463SJiong WangTEST_GEN_FILES += $(patsubst %.o,alu32/%.o, $(BPF_OBJ_FILES))
423ef84346SJiong Wangendif
433ef84346SJiong Wang
44f09b2e38SJesper Dangaard Brouer# Order correspond to 'make run_tests' order
45f09b2e38SJesper Dangaard BrouerTEST_PROGS := test_kmod.sh \
46f09b2e38SJesper Dangaard Brouer	test_libbpf.sh \
47f09b2e38SJesper Dangaard Brouer	test_xdp_redirect.sh \
48f09b2e38SJesper Dangaard Brouer	test_xdp_meta.sh \
49*88091ff5SToshiaki Makita	test_xdp_veth.sh \
50622adafbSAndrey Ignatov	test_offload.py \
51933a741eSWilliam Tu	test_sock_addr.sh \
52c99a84eaSMathieu Xhonneux	test_tunnel.sh \
536bdd533cSSean Young	test_lwt_seg6local.sh \
545ecd8c22SAndrey Ignatov	test_lirc_mode2.sh \
5550b3ed57SPetar Penkov	test_skb_cgroup_id.sh \
5697396ff0SJesper Dangaard Brouer	test_flow_dissector.sh \
570fde56e4SPeter Oskolkov	test_xdp_vlan.sh \
58bafc0ba8SLorenz Bauer	test_lwt_ip_encap.sh \
5998cdabcdSWillem de Bruijn	test_tcp_check_syncookie.sh \
607df5e3dbSPeter Oskolkov	test_tc_tunnel.sh \
61cd538502SAlan Maguire	test_tc_edt.sh \
62cd538502SAlan Maguire	test_xdping.sh
635aa5bd14SDaniel Borkmann
64f98937c6SAnders RoxellTEST_PROGS_EXTENDED := with_addr.sh \
651be72f29SStanislav Fomichev	with_tunnels.sh \
66f98937c6SAnders Roxell	tcp_client.py \
67f98937c6SAnders Roxell	tcp_server.py
68ef4ab844SAnders Roxell
69f09b2e38SJesper Dangaard Brouer# Compile but not part of 'make run_tests'
7050b3ed57SPetar PenkovTEST_GEN_PROGS_EXTENDED = test_libbpf_open test_sock_addr test_skb_cgroup_id_user \
7125a7991cSHangbin Liu	flow_dissector_load test_flow_dissector test_tcp_check_syncookie_user \
7225a7991cSHangbin Liu	test_lirc_mode2_user
73f09b2e38SJesper Dangaard Brouer
74e8f1f34aSZi Shen Liminclude ../lib.mk
751da8ac7cSAlexei Starovoitov
763ef84346SJiong Wang# NOTE: $(OUTPUT) won't get default value if used before lib.mk
773ef84346SJiong WangTEST_CUSTOM_PROGS = $(OUTPUT)/urandom_read
783ef84346SJiong Wangall: $(TEST_CUSTOM_PROGS)
793ef84346SJiong Wang
803ef84346SJiong Wang$(OUTPUT)/urandom_read: $(OUTPUT)/%: %.c
81f6827526SIvan Vecera	$(CC) -o $@ $< -Wl,--build-id
823ef84346SJiong Wang
8351a0e301SMartin KaFai Lau$(OUTPUT)/test_maps: map_tests/*.c
8451a0e301SMartin KaFai Lau
8541757dcbSJesper Dangaard BrouerBPFOBJ := $(OUTPUT)/libbpf.a
86e8f1f34aSZi Shen Lim
879d120b41SJiong Wang$(TEST_GEN_PROGS): test_stub.o $(BPFOBJ)
88e8f1f34aSZi Shen Lim
899d120b41SJiong Wang$(TEST_GEN_PROGS_EXTENDED): test_stub.o $(OUTPUT)/libbpf.a
90f09b2e38SJesper Dangaard Brouer
9141757dcbSJesper Dangaard Brouer$(OUTPUT)/test_dev_cgroup: cgroup_helpers.c
925ecd8c22SAndrey Ignatov$(OUTPUT)/test_skb_cgroup_id_user: cgroup_helpers.c
931d436885SAndrey Ignatov$(OUTPUT)/test_sock: cgroup_helpers.c
94e50b0a6fSAndrey Ignatov$(OUTPUT)/test_sock_addr: cgroup_helpers.c
95194db0d9SAndrey Ignatov$(OUTPUT)/test_socket_cookie: cgroup_helpers.c
9616962b24SJohn Fastabend$(OUTPUT)/test_sockmap: cgroup_helpers.c
97c65267e5SAndrey Ignatov$(OUTPUT)/test_tcpbpf_user: cgroup_helpers.c
98435f90a3SSowmini Varadhan$(OUTPUT)/test_tcpnotify_user: cgroup_helpers.c trace_helpers.c
99173965fbSYonghong Song$(OUTPUT)/test_progs: trace_helpers.c
100f269099aSYonghong Song$(OUTPUT)/get_cgroup_id_user: cgroup_helpers.c
10168cfa3acSRoman Gushchin$(OUTPUT)/test_cgroup_storage: cgroup_helpers.c
102371e4fccSRoman Gushchin$(OUTPUT)/test_netcnt: cgroup_helpers.c
103e0b27b3fSMartin KaFai Lau$(OUTPUT)/test_sock_fields: cgroup_helpers.c
1041f5fa9abSAndrey Ignatov$(OUTPUT)/test_sysctl: cgroup_helpers.c
105ba0c0cc0SRoman Gushchin$(OUTPUT)/test_cgroup_attach: cgroup_helpers.c
10641757dcbSJesper Dangaard Brouer
107e8f1f34aSZi Shen Lim.PHONY: force
108d498f871SMickaël Salaün
109d498f871SMickaël Salaün# force a rebuild of BPFOBJ when its dependencies are updated
110d498f871SMickaël Salaünforce:
111d498f871SMickaël Salaün
112d498f871SMickaël Salaün$(BPFOBJ): force
113e8f1f34aSZi Shen Lim	$(MAKE) -C $(BPFDIR) OUTPUT=$(OUTPUT)/
1146882804cSAlexei Starovoitov
115cd95a892SQuentin MonnetPROBE := $(shell $(LLC) -march=bpf -mcpu=probe -filetype=null /dev/null 2>&1)
11622c88526SDaniel Borkmann
11722c88526SDaniel Borkmann# Let newer LLVM versions transparently probe the kernel for availability
11822c88526SDaniel Borkmann# of full BPF instruction set.
11922c88526SDaniel Borkmannifeq ($(PROBE),)
12022c88526SDaniel Borkmann  CPU ?= probe
12122c88526SDaniel Borkmannelse
12222c88526SDaniel Borkmann  CPU ?= generic
12322c88526SDaniel Borkmannendif
1246882804cSAlexei Starovoitov
125167381f3SSirio Balmelli# Get Clang's default includes on this system, as opposed to those seen by
126167381f3SSirio Balmelli# '-target bpf'. This fixes "missing" files on some architectures/distros,
127167381f3SSirio Balmelli# such as asm/byteorder.h, asm/socket.h, asm/sockios.h, sys/cdefs.h etc.
128167381f3SSirio Balmelli#
129167381f3SSirio Balmelli# Use '-idirafter': Don't interfere with include mechanics except where the
130167381f3SSirio Balmelli# build would have failed anyways.
131167381f3SSirio BalmelliCLANG_SYS_INCLUDES := $(shell $(CLANG) -v -E - </dev/null 2>&1 \
132167381f3SSirio Balmelli	| sed -n '/<...> search starts here:/,/End of search list./{ s| \(/.*\)|-idirafter \1|p }')
133167381f3SSirio Balmelli
1343bc35c63SAlexei StarovoitovCLANG_FLAGS = -I. -I./include/uapi -I../../../include/uapi \
135167381f3SSirio Balmelli	      $(CLANG_SYS_INCLUDES) \
1363bc35c63SAlexei Starovoitov	      -Wno-compare-distinct-pointer-types
1373bc35c63SAlexei Starovoitov
1383bc35c63SAlexei Starovoitov$(OUTPUT)/test_l4lb_noinline.o: CLANG_FLAGS += -fno-inline
139b0b04fc4SAlexei Starovoitov$(OUTPUT)/test_xdp_noinline.o: CLANG_FLAGS += -fno-inline
1403bc35c63SAlexei Starovoitov
14143b987d2SMauricio Vasquez B$(OUTPUT)/test_queue_map.o: test_queue_stack_map.h
14243b987d2SMauricio Vasquez B$(OUTPUT)/test_stack_map.o: test_queue_stack_map.h
14343b987d2SMauricio Vasquez B
144bf0f0fd9SStanislav Fomichev$(OUTPUT)/flow_dissector_load.o: flow_dissector_load.h
145bf0f0fd9SStanislav Fomichev$(OUTPUT)/test_progs.o: flow_dissector_load.h
146bf0f0fd9SStanislav Fomichev
14791bc07c9SJoe StringerBTF_LLC_PROBE := $(shell $(LLC) -march=bpf -mattr=help 2>&1 | grep dwarfris)
14891bc07c9SJoe StringerBTF_PAHOLE_PROBE := $(shell $(BTF_PAHOLE) --help 2>&1 | grep BTF)
1497c3e8b64SMartin KaFai LauBTF_OBJCOPY_PROBE := $(shell $(LLVM_OBJCOPY) --help 2>&1 | grep -i 'usage.*llvm')
1509ce6ae22SYonghong SongBTF_LLVM_PROBE := $(shell echo "int main() { return 0; }" | \
1519ce6ae22SYonghong Song			  $(CLANG) -target bpf -O2 -g -c -x c - -o ./llvm_btf_verify.o; \
1522f092126SStanislav Fomichev			  $(LLVM_READELF) -S ./llvm_btf_verify.o | grep BTF; \
1539ce6ae22SYonghong Song			  /bin/rm -f ./llvm_btf_verify.o)
154c0fa1b6cSMartin KaFai Lau
1559ce6ae22SYonghong Songifneq ($(BTF_LLVM_PROBE),)
1569ce6ae22SYonghong Song	CLANG_FLAGS += -g
1579ce6ae22SYonghong Songelse
158c0fa1b6cSMartin KaFai Lauifneq ($(BTF_LLC_PROBE),)
159c0fa1b6cSMartin KaFai Lauifneq ($(BTF_PAHOLE_PROBE),)
160c0fa1b6cSMartin KaFai Lauifneq ($(BTF_OBJCOPY_PROBE),)
161c0fa1b6cSMartin KaFai Lau	CLANG_FLAGS += -g
162c0fa1b6cSMartin KaFai Lau	LLC_FLAGS += -mattr=dwarfris
163c0fa1b6cSMartin KaFai Lau	DWARF2BTF = y
164c0fa1b6cSMartin KaFai Lauendif
165c0fa1b6cSMartin KaFai Lauendif
166c0fa1b6cSMartin KaFai Lauendif
1679ce6ae22SYonghong Songendif
168c0fa1b6cSMartin KaFai Lau
169e78e00bdSStanislav FomichevTEST_PROGS_CFLAGS := -I. -I$(OUTPUT)
170e78e00bdSStanislav FomichevTEST_VERIFIER_CFLAGS := -I. -I$(OUTPUT) -Iverifier
171e78e00bdSStanislav Fomichev
1723ef84346SJiong Wangifneq ($(SUBREG_CODEGEN),)
1733ef84346SJiong WangALU32_BUILD_DIR = $(OUTPUT)/alu32
1743ef84346SJiong WangTEST_CUSTOM_PROGS += $(ALU32_BUILD_DIR)/test_progs_32
1753ef84346SJiong Wang$(ALU32_BUILD_DIR):
1763ef84346SJiong Wang	mkdir -p $@
1773ef84346SJiong Wang
1783ef84346SJiong Wang$(ALU32_BUILD_DIR)/urandom_read: $(OUTPUT)/urandom_read
1793ef84346SJiong Wang	cp $< $@
1803ef84346SJiong Wang
181e78e00bdSStanislav Fomichev$(ALU32_BUILD_DIR)/test_progs_32: test_progs.c $(OUTPUT)/libbpf.a\
182e78e00bdSStanislav Fomichev						$(ALU32_BUILD_DIR) \
1833ef84346SJiong Wang						$(ALU32_BUILD_DIR)/urandom_read
184e78e00bdSStanislav Fomichev	$(CC) $(TEST_PROGS_CFLAGS) $(CFLAGS) \
185e78e00bdSStanislav Fomichev		-o $(ALU32_BUILD_DIR)/test_progs_32 \
1869d120b41SJiong Wang		test_progs.c test_stub.c trace_helpers.c prog_tests/*.c \
187e78e00bdSStanislav Fomichev		$(OUTPUT)/libbpf.a $(LDLIBS)
1883f306588SStanislav Fomichev
1893f306588SStanislav Fomichev$(ALU32_BUILD_DIR)/test_progs_32: $(PROG_TESTS_H)
1903f306588SStanislav Fomichev$(ALU32_BUILD_DIR)/test_progs_32: prog_tests/*.c
1913ef84346SJiong Wang
192bd4aed0eSJiong Wang$(ALU32_BUILD_DIR)/%.o: progs/%.c $(ALU32_BUILD_DIR) \
193bd4aed0eSJiong Wang					$(ALU32_BUILD_DIR)/test_progs_32
1943ef84346SJiong Wang	$(CLANG) $(CLANG_FLAGS) \
1953ef84346SJiong Wang		 -O2 -target bpf -emit-llvm -c $< -o - |      \
1963ef84346SJiong Wang	$(LLC) -march=bpf -mattr=+alu32 -mcpu=$(CPU) $(LLC_FLAGS) \
1973ef84346SJiong Wang		-filetype=obj -o $@
1983ef84346SJiong Wangifeq ($(DWARF2BTF),y)
1993ef84346SJiong Wang	$(BTF_PAHOLE) -J $@
2003ef84346SJiong Wangendif
2013ef84346SJiong Wangendif
2023ef84346SJiong Wang
203f96afa76SQuentin Monnet# Have one program compiled without "-target bpf" to test whether libbpf loads
204f96afa76SQuentin Monnet# it successfully
205bd4aed0eSJiong Wang$(OUTPUT)/test_xdp.o: progs/test_xdp.c
206f96afa76SQuentin Monnet	$(CLANG) $(CLANG_FLAGS) \
207f96afa76SQuentin Monnet		-O2 -emit-llvm -c $< -o - | \
208f96afa76SQuentin Monnet	$(LLC) -march=bpf -mcpu=$(CPU) $(LLC_FLAGS) -filetype=obj -o $@
209f96afa76SQuentin Monnetifeq ($(DWARF2BTF),y)
210f96afa76SQuentin Monnet	$(BTF_PAHOLE) -J $@
211f96afa76SQuentin Monnetendif
2126882804cSAlexei Starovoitov
213bd4aed0eSJiong Wang$(OUTPUT)/%.o: progs/%.c
2143bc35c63SAlexei Starovoitov	$(CLANG) $(CLANG_FLAGS) \
21522c88526SDaniel Borkmann		 -O2 -target bpf -emit-llvm -c $< -o - |      \
216c0fa1b6cSMartin KaFai Lau	$(LLC) -march=bpf -mcpu=$(CPU) $(LLC_FLAGS) -filetype=obj -o $@
217c0fa1b6cSMartin KaFai Lauifeq ($(DWARF2BTF),y)
218c0fa1b6cSMartin KaFai Lau	$(BTF_PAHOLE) -J $@
219c0fa1b6cSMartin KaFai Lauendif
22081f77fd0SSong Liu
2213f306588SStanislav FomichevPROG_TESTS_H := $(OUTPUT)/prog_tests/tests.h
2226b7b6995SStanislav Fomichevtest_progs.c: $(PROG_TESTS_H)
223e78e00bdSStanislav Fomichev$(OUTPUT)/test_progs: CFLAGS += $(TEST_PROGS_CFLAGS)
2243f306588SStanislav Fomichev$(OUTPUT)/test_progs: prog_tests/*.c
2253f306588SStanislav Fomichev
226e78e00bdSStanislav FomichevPROG_TESTS_DIR = $(OUTPUT)/prog_tests
227e78e00bdSStanislav Fomichev$(PROG_TESTS_DIR):
228e78e00bdSStanislav Fomichev	mkdir -p $@
229e78e00bdSStanislav Fomichev
2303f306588SStanislav FomichevPROG_TESTS_FILES := $(wildcard prog_tests/*.c)
231e78e00bdSStanislav Fomichev$(PROG_TESTS_H): $(PROG_TESTS_DIR) $(PROG_TESTS_FILES)
232e78e00bdSStanislav Fomichev	$(shell ( cd prog_tests/; \
2333f306588SStanislav Fomichev		  echo '/* Generated header, do not edit */'; \
2343f306588SStanislav Fomichev		  echo '#ifdef DECLARE'; \
2353f306588SStanislav Fomichev		  ls *.c 2> /dev/null | \
2363f306588SStanislav Fomichev			sed -e 's@\([^\.]*\)\.c@extern void test_\1(void);@'; \
2373f306588SStanislav Fomichev		  echo '#endif'; \
2383f306588SStanislav Fomichev		  echo '#ifdef CALL'; \
2393f306588SStanislav Fomichev		  ls *.c 2> /dev/null | \
2403f306588SStanislav Fomichev			sed -e 's@\([^\.]*\)\.c@test_\1();@'; \
2413f306588SStanislav Fomichev		  echo '#endif' \
2423f306588SStanislav Fomichev		 ) > $(PROG_TESTS_H))
2433f306588SStanislav Fomichev
24451a0e301SMartin KaFai LauTEST_MAPS_CFLAGS := -I. -I$(OUTPUT)
24551a0e301SMartin KaFai LauMAP_TESTS_DIR = $(OUTPUT)/map_tests
24651a0e301SMartin KaFai Lau$(MAP_TESTS_DIR):
24751a0e301SMartin KaFai Lau	mkdir -p $@
24851a0e301SMartin KaFai LauMAP_TESTS_H := $(MAP_TESTS_DIR)/tests.h
24951a0e301SMartin KaFai Lautest_maps.c: $(MAP_TESTS_H)
25051a0e301SMartin KaFai Lau$(OUTPUT)/test_maps: CFLAGS += $(TEST_MAPS_CFLAGS)
25151a0e301SMartin KaFai LauMAP_TESTS_FILES := $(wildcard map_tests/*.c)
25251a0e301SMartin KaFai Lau$(MAP_TESTS_H): $(MAP_TESTS_DIR) $(MAP_TESTS_FILES)
25351a0e301SMartin KaFai Lau	$(shell ( cd map_tests/; \
25451a0e301SMartin KaFai Lau		  echo '/* Generated header, do not edit */'; \
25551a0e301SMartin KaFai Lau		  echo '#ifdef DECLARE'; \
25651a0e301SMartin KaFai Lau		  ls *.c 2> /dev/null | \
25751a0e301SMartin KaFai Lau			sed -e 's@\([^\.]*\)\.c@extern void test_\1(void);@'; \
25851a0e301SMartin KaFai Lau		  echo '#endif'; \
25951a0e301SMartin KaFai Lau		  echo '#ifdef CALL'; \
26051a0e301SMartin KaFai Lau		  ls *.c 2> /dev/null | \
26151a0e301SMartin KaFai Lau			sed -e 's@\([^\.]*\)\.c@test_\1();@'; \
26251a0e301SMartin KaFai Lau		  echo '#endif' \
26351a0e301SMartin KaFai Lau		 ) > $(MAP_TESTS_H))
26451a0e301SMartin KaFai Lau
2652a118154SStanislav FomichevVERIFIER_TESTS_H := $(OUTPUT)/verifier/tests.h
2666b7b6995SStanislav Fomichevtest_verifier.c: $(VERIFIER_TESTS_H)
267e78e00bdSStanislav Fomichev$(OUTPUT)/test_verifier: CFLAGS += $(TEST_VERIFIER_CFLAGS)
268e78e00bdSStanislav Fomichev
269e78e00bdSStanislav FomichevVERIFIER_TESTS_DIR = $(OUTPUT)/verifier
270e78e00bdSStanislav Fomichev$(VERIFIER_TESTS_DIR):
271e78e00bdSStanislav Fomichev	mkdir -p $@
2722dfb4012SJakub Kicinski
2732dfb4012SJakub KicinskiVERIFIER_TEST_FILES := $(wildcard verifier/*.c)
274e78e00bdSStanislav Fomichev$(OUTPUT)/verifier/tests.h: $(VERIFIER_TESTS_DIR) $(VERIFIER_TEST_FILES)
275e78e00bdSStanislav Fomichev	$(shell ( cd verifier/; \
2762dfb4012SJakub Kicinski		  echo '/* Generated header, do not edit */'; \
2772dfb4012SJakub Kicinski		  echo '#ifdef FILL_ARRAY'; \
2782dfb4012SJakub Kicinski		  ls *.c 2> /dev/null | \
2792dfb4012SJakub Kicinski			sed -e 's@\(.*\)@#include \"\1\"@'; \
2802dfb4012SJakub Kicinski		  echo '#endif' \
2812a118154SStanislav Fomichev		 ) > $(VERIFIER_TESTS_H))
2822dfb4012SJakub Kicinski
2832a118154SStanislav FomichevEXTRA_CLEAN := $(TEST_CUSTOM_PROGS) $(ALU32_BUILD_DIR) \
28489cceaa9SHechao Li	$(VERIFIER_TESTS_H) $(PROG_TESTS_H) $(MAP_TESTS_H) \
28589cceaa9SHechao Li	feature
286