test_nobug.c

   1 #include <stdlib.h>
   2
   3 #include "nobug.h"
   4
   5
   6 struct foo
   7 {
   8   char b;
   9   struct foo* bar;
  10 };
  11
  12 void foo_invariant (struct foo* self, int depth, const char* file, int line)
  13 {
  14   if (!depth) return;
  15
  16   INVARIANT_ASSERT(self->b != 7);
  17
  18   if (self->bar)
  19     foo_invariant (self->bar, depth-1, file, line);
  20 }
  21
  22 void foo_dump (struct foo* self, int depth, const char* file, int line)
  23 {
  24   if (!depth) return;
  25
  26   DUMP_LOG("dump b is %d", self->b);
  27
  28   if (self->bar)
  29     foo_dump (self->bar, depth-1, file, line);
  30 }
  31
  32 NOBUG_DEFINE_FLAG(test);
  33
  34 int main(int argc, char* argv[])
  35 {
  36   int c = 0;
  37
  38   NOBUG_INIT_FLAG(test);
  39
  40   if (argc > 1)
  41     c = atoi(argv[1]);
  42
  43   fprintf (stderr, "testing %d\n", c);
  44
  45   UNCHECKED;
  46
  47   REQUIRE(c != 1);
  48   REQUIRE(c != 2, "require %d failed", c);
  49
  50   ENSURE(c != 3);
  51   ENSURE(c != 4, "ensure %d failed", c);
  52
  53   ASSERT(c != 5, "assert5");
  54   ASSERT(c != 6, "assert", "assert %d failed", c);
  55
  56   struct foo f;
  57
  58   f.b = c;
  59   f.bar = NULL;
  60
  61   INVARIANT(foo, &f, 2);
  62
  63   ERROR(test, "logging");
  64   ERROR(test, "logging %d", c);
  65
  66   WARNIF(c==8, test, "logging = 8");
  67   TRACEIF(c==9, test, "logging if %d=9", c);
  68
  69   DUMP(foo, &f, 2);
  70   DUMPIF(c==10, foo, &f, 2);
  71
  72   if (c==11)
  73     UNIMPLEMENTED("this is unimplemented");
  74
  75   if (c==12)
  76     PLANNED("this is planned");
  77
  78   if (c==13)
  79     BUG("here is a bug");
  80
  81   if (c==14)
  82     TODO("something todo");
  83
  84   if (c==15)
  85     {
  86       BACKTRACE;
  87     }
  88
  89   return 0;
  90 }