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