]>
git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile
1 # SPDX-License-Identifier: GPL-2.0
2 CBMC_FLAGS
= -I..
/..
-I..
/..
/src
-I..
/..
/include -I..
/..
/empty_includes
-32 -pointer-check
-mm pso
5 for i in .
/*.pass
; do \
7 CBMC_FLAGS
="$(CBMC_FLAGS)" sh ..
/test_script.sh
--should-pass
$$i > $$i.out
2>&1 ; \
9 for i in .
/*.fail
; do \
11 CBMC_FLAGS
="$(CBMC_FLAGS)" sh ..
/test_script.sh
--should-fail
$$i > $$i.out
2>&1 ; \