]>
git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile
1 CBMC_FLAGS
= -I..
/..
-I..
/..
/src
-I..
/..
/include -I..
/..
/empty_includes
-32 -pointer-check
-mm pso
4 for i in .
/*.pass
; do \
6 CBMC_FLAGS
="$(CBMC_FLAGS)" sh ..
/test_script.sh
--should-pass
$$i > $$i.out
2>&1 ; \
8 for i in .
/*.fail
; do \
10 CBMC_FLAGS
="$(CBMC_FLAGS)" sh ..
/test_script.sh
--should-fail
$$i > $$i.out
2>&1 ; \