tests/10singlethreading_alpha.tests

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