tests/10singlethreading_release.tests

   1
   2 TESTING "example RELEASE build, singlethreading/release" ./example_release
   3
   4 TEST example_release <<END
   5 err: ECHO: .*: main: Testing
   6 err: callback test .*: WARNING: .*: main: second log line
   7 err: callback test .* NO LOG
   8 err: callback test .*: ERR: .*: main: third log line 0x1234
   9 err: callback test .* NO LOG 0x1234
  10 END
  11
  12
  13 TESTING "NoBug basic assertions in RELEASE build" ./test_nobug_release
  14
  15 TEST "Require w/o format, singlethreading/release" 1 <<END
  16 err: ECHO: .*: main: testing 1
  17 END
  18
  19 TEST "Require with format, singlethreading/release" 2 <<END
  20 err: ECHO: .*: main: testing 2
  21 END
  22
  23 TEST "Ensure w/o format, singlethreading/release" 3 <<END
  24 err: ECHO: .*: main: testing 3
  25 END
  26
  27 TEST "Ensure with format, singlethreading/release" 4 <<END
  28 err: ECHO: .*: main: testing 4
  29 END
  30
  31 TEST "Assert w/o format, singlethreading/release" 5 <<END
  32 err: ECHO: .*: main: testing 5
  33 END
  34
  35 TEST "Assertion with format, singlethreading/release" 6 <<END
  36 err: ECHO: .*: main: testing 6
  37 END
  38
  39 TEST "unconditional CHECK assertion, singlethreading/release" 7 <<END
  40 err: ECHO: .*: main: testing 7
  41 err: CHECK: .*: main: \(c != 7\)
  42 return: 134
  43 END
  44
  45 TEST "Invariant, singlethreading/release" 8 <<END
  46 err: ECHO: .*: main: testing 8
  47 END
  48
  49 TEST "Dumping, singlethreading/release" 11 <<END
  50 err: ECHO: .*: main: testing 11
  51 END
  52
  53 TEST "Unimplemented, singlethreading/release" 13 <<END
  54 err: ECHO: .*: main: testing 13
  55 err: no such test: 13
  56 END
  57
  58 TEST "Planned, singlethreading/release" 14 <<END
  59 err: ECHO: .*: main: testing 14
  60 END
  61
  62 TEST "Fixme, singlethreading/release" 15 <<END
  63 err: ECHO: .*: main: testing 15
  64 err: no such test: 15
  65 END
  66
  67 TEST "Todo, singlethreading/release" 16 <<END
  68 err: ECHO: .*: main: testing 16
  69 err: no such test: 16
  70 END
  71