tests/10singlethreading_beta.tests

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