test_nobug.c

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