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