Home
last modified time | relevance | path

Searched refs:test_script (Results 1 – 2 of 2) sorted by relevance

/Linux-v5.15/tools/testing/selftests/bpf/
Dtest_tcpnotify_user.c81 char test_script[80]; in main() local
126 sprintf(test_script, in main()
129 if (system(test_script)) { in main()
130 printf("FAILED: execute command: %s, err %d\n", test_script, -errno); in main()
134 sprintf(test_script, in main()
137 if (system(test_script)) in main()
138 printf("execute command: %s, err %d\n", test_script, -errno); in main()
140 sprintf(test_script, in main()
143 if (system(test_script)) { in main()
144 printf("FAILED: execute command: %s, err %d\n", test_script, -errno); in main()
/Linux-v5.15/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/
DMakefile7 CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-pass $$i > $$i.out 2>&1 ; \
11 CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-fail $$i > $$i.out 2>&1 ; \