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
   2
   3 all:
   4         for i in ./*.pass; do \
   5                 echo $$i ; \
   6                 CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-pass $$i > $$i.out 2>&1 ; \
   7         done
   8         for i in ./*.fail; do \
   9                 echo $$i ; \
  10                 CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-fail $$i > $$i.out 2>&1 ; \
  11         done