[mirror_ubuntu-bionic-kernel.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / tests / store_buffering / Makefile

# SPDX-License-Identifier: GPL-2.0
CBMC_FLAGS = -I../.. -I../../src -I../../include -I../../empty_includes -32 -pointer-check -mm pso

all:
	for i in ./*.pass; do \
		echo $$i ; \
		CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-pass $$i > $$i.out 2>&1 ; \
	done
	for i in ./*.fail; do \
		echo $$i ; \
		CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-fail $$i > $$i.out 2>&1 ; \
	done
Commit	Line	Data
b2441318	1	# SPDX-License-Identifier: GPL-2.0
418b2977 LR	2	CBMC_FLAGS = -I../.. -I../../src -I../../include -I../../empty_includes -32 -pointer-check -mm pso
	3
	4	all:
	5	for i in ./*.pass; do \
	6	echo $$i ; \
	7	CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-pass $$i > $$i.out 2>&1 ; \
	8	done
	9	for i in ./*.fail; do \
	10	echo $$i ; \
	11	CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-fail $$i > $$i.out 2>&1 ; \
	12	done