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: !0
  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: !0
  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: !0
  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: !0
  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: !0
  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: !0
  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: !0
  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: !0
  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 if: test "$SBOX_UNAME_MACHINE" = "arm"
  80 msg: Running on scratchbox/arm
  81 err: .*
  82 endif:
  83 return: !0
  84 END
  85
  86 TEST "Planned, singlethreading/alpha" 14 <<END
  87 err: ECHO: .*: main: testing 14
  88 err: PLANNED: .*: main: this is planned
  89 END
  90
  91 TEST "Fixme, singlethreading/alpha" 15 <<END
  92 err: ECHO: .*: main: testing 15
  93 err: FIXME: .*: main: here is a bug
  94 END
  95
  96 TEST "Todo, singlethreading/alpha" 16 <<END
  97 err: ECHO: .*: main: testing 16
  98 err: TODO: .*: main: something todo
  99 END
 100