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 .*: ERR: .*: main: third log line 0x1234
  10 END
  11
  12
  13 TESTING "NoBug basic assertions in BETA build" ./test_nobug_beta
  14
  15 TEST "Require w/o format, singlethreading/beta" 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/beta" 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/beta" 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/beta" 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/beta" 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/beta" 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/beta" 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/beta" 8 <<END
  65 err: ECHO: .*: main: testing 8
  66 END
  67
  68 TEST "Dumping, singlethreading/beta" 11 <<END
  69 err: ECHO: .*: main: testing 11
  70 err: DUMP: .*: main: dump b is 11
  71 END
  72
  73 TEST "Unimplemented, singlethreading/beta" 13 <<END
  74 err: ECHO: .*: main: testing 13
  75 err: UNIMPLEMENTED: .*: main: this is unimplemented
  76 return: 134
  77 END
  78
  79 TEST "Planned, singlethreading/beta" 14 <<END
  80 err: ECHO: .*: main: testing 14
  81 END
  82
  83 TEST "Fixme, singlethreading/beta" 15 <<END
  84 err: ECHO: .*: main: testing 15
  85 err: ECHO: .*: main: no such test: 15
  86 END
  87
  88 TEST "Todo, singlethreading/beta" 16 <<END
  89 err: ECHO: .*: main: testing 16
  90 err: TODO: .*: main: something todo
  91 END
  92