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