tests/test_nobug_coverage.c

   1 #include "test.h"
   2 #include "nobug.h"
   3
   4
   5 NOBUG_DEFINE_FLAG(coverage);
   6
   7
   8 int second()
   9 {
  10   return COVERAGE_GOODBAD (coverage, 1, 0);
  11 }
  12
  13 int
  14 first()
  15 {
  16   if (COVERAGE_GOODBAD (coverage, 1, 0))
  17     return second();
  18   else
  19     return 1;
  20 }
  21
  22
  23
  24 TESTS_BEGIN
  25 NOBUG_INIT_FLAG(coverage);
  26
  27
  28 TEST(basic)
  29 {
  30   COVERAGE_FAULT (coverage, return 1);
  31   printf("%s\n", COVERAGE_GOODBAD (coverage, "success", "fail"));
  32
  33   first();
  34
  35   return 0;
  36 }
  37
  38
  39 TEST(disabled)
  40 {
  41
  42   COVERAGE_FAULT (coverage, return 1);
  43
  44   COVERAGE_DISABLE;
  45
  46   first();
  47
  48   COVERAGE_ENABLE;
  49
  50   printf("%s\n", COVERAGE_GOODBAD (coverage, "success", "fail"));
  51
  52   return 0;
  53 }
  54
  55 TESTS_END