2 TESTING "fault injection, alpha" ./test_nobug_faultinjection_alpha
5 TEST "Fault injection, expression, good case, singlethreading/alpha" fault <<END
10 TEST "Fault injection, expression, bad case, singlethreading/alpha" fault <<END
11 err: INJECT_FAULT: .*: strdup_may_fail: getenv\("EXPR_FAULT"\): NULL
12 err: CHECK: .*: \(str\) function failed
19 TEST "Fault injection, statement, good case, singlethreading/alpha" fault <<END
24 TEST "Fault injection, statement, bad case, singlethreading/alpha" fault <<END
25 err: INJECT_FAULT: .*: getenv\("STMT_FAULT"\): str=NULL
26 err: CHECK: .*: \(str\) statement injected
33 TESTING "fault injection, release" ./test_nobug_faultinjection_release
36 TEST "Fault injection, expression, good case, singlethreading/release" fault <<END
41 TEST "Fault injection, expression, bad case, singlethreading/release" fault <<END
47 TEST "Fault injection, statement, good case, singlethreading/release" fault <<END
52 TEST "Fault injection, statement, bad case, singlethreading/release" fault <<END