2 TESTING "example RELEASE build, singlethreading/release" ./example_release
4 TEST example_release <<END
5 err: ECHO: .*: main: Testing
6 err: callback test .*: ERR: .*: main: third log line 0x1234
10 TESTING "NoBug basic assertions in RELEASE build" ./test_nobug_release
12 TEST "Require w/o format, singlethreading/release" 1 <<END
13 err: ECHO: .*: main: testing 1
16 TEST "Require with format, singlethreading/release" 2 <<END
17 err: ECHO: .*: main: testing 2
20 TEST "Ensure w/o format, singlethreading/release" 3 <<END
21 err: ECHO: .*: main: testing 3
24 TEST "Ensure with format, singlethreading/release" 4 <<END
25 err: ECHO: .*: main: testing 4
28 TEST "Assert w/o format, singlethreading/release" 5 <<END
29 err: ECHO: .*: main: testing 5
32 TEST "Assertion with format, singlethreading/release" 6 <<END
33 err: ECHO: .*: main: testing 6
36 TEST "unconditional CHECK assertion, singlethreading/release" 7 <<END
37 err: ECHO: .*: main: testing 7
38 err: CHECK: .*: main: \(c != 7\)
42 TEST "Invariant, singlethreading/release" 8 <<END
43 err: ECHO: .*: main: testing 8
46 TEST "Dumping, singlethreading/release" 11 <<END
47 err: ECHO: .*: main: testing 11
50 TEST "Unimplemented, singlethreading/release" 13 <<END
51 err: ECHO: .*: main: testing 13
55 TEST "Planned, singlethreading/release" 14 <<END
56 err: ECHO: .*: main: testing 14
59 TEST "Fixme, singlethreading/release" 15 <<END
60 err: ECHO: .*: main: testing 15
64 TEST "Todo, singlethreading/release" 16 <<END
65 err: ECHO: .*: main: testing 16