]>
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 |