tests/20multithreading_alpha.tests

   1
   2 TESTING "example ALPHA build" ./example_mt_alpha
   3
   4 TEST "example_alpha, multithreading/alpha" <<END
   5 err: ECHO: .*: main: Testing
   6 err: callback test .*: WARNING: .*: main: second log line
   7 err: callback test .*: ERR: .*: main: third log line 0x1234
   8 END
   9
  10
  11
  12 TESTING "NoBug basic assertions in ALPHA build" ./test_nobug_mt_alpha
  13
  14 TEST "Require w/o format, multithreading/alpha" 1 <<END
  15 err: ECHO: .*: main: testing 1
  16 err: PRECONDITION: .*: main: \(c != 1\)
  17 return: 134
  18 END
  19
  20 TEST "Require with format, multithreading/alpha" 2 <<END
  21 err: ECHO: .*: main: testing 2
  22 err: PRECONDITION: .*: main: \(c != 2\) require 2 failed
  23 return: 134
  24 END
  25
  26 TEST "Ensure w/o format, multithreading/alpha" 3 <<END
  27 err: ECHO: .*: main: testing 3
  28 err: POSTCONDITION: .*: main: \(c != 3\)
  29 return: 134
  30 END
  31
  32 TEST "Ensure with format, multithreading/alpha" 4 <<END
  33 err: ECHO: .*: main: testing 4
  34 err: POSTCONDITION: .*: main: \(c != 4\) ensure 4 failed
  35 return: 134
  36 END
  37
  38 TEST "Assert w/o format, multithreading/alpha" 5 <<END
  39 err: ECHO: .*: main: testing 5
  40 err: ASSERTION: .*: main: \(c != 5\)
  41 return: 134
  42 END
  43
  44 TEST "Assertion with format, multithreading/alpha" 6 <<END
  45 err: ECHO: .*: main: testing 6
  46 err: ASSERTION: .*: main: \(c != 6\) assert 6 failed
  47 return: 134
  48 END
  49
  50 TEST "unconditional CHECK assertion, multithreading/alpha" 7 <<END
  51 err: ECHO: .*: main: testing 7
  52 err: CHECK: .*: main: \(c != 7\)
  53 return: 134
  54 END
  55
  56 TEST "Invariant, multithreading/alpha" 8 <<END
  57 err: ECHO: .*: main: testing 8
  58 err: INVARIANT: .*: main: \(self->b != 8\)
  59 return: 134
  60 END
  61
  62 TEST "Dumping, multithreading/alpha" 11 <<END
  63 err: ECHO: .*: main: testing 11
  64 err: DUMP: .*: main: dump b is 11
  65 END
  66
  67 TEST "Unimplemented, multithreading/alpha" 13 <<END
  68 err: ECHO: .*: main: testing 13
  69 err: UNIMPLEMENTED: .*: main: this is unimplemented
  70 return: 134
  71 END
  72
  73 TEST "Planned, multithreading/alpha" 14 <<END
  74 err: ECHO: .*: main: testing 14
  75 err: PLANNED: .*: main: this is planned
  76 END
  77
  78 TEST "Fixme, multithreading/alpha" 15 <<END
  79 err: ECHO: .*: main: testing 15
  80 err: FIXME: .*: main: here is a bug
  81 END
  82
  83 TEST "Todo, multithreading/alpha" 16 <<END
  84 err: ECHO: .*: main: testing 16
  85 err: TODO: .*: main: something todo
  86 END
  87