src/xbt/cunit.c

   1 /* cunit - A little C Unit facility                                         */
   2
   3 /* Copyright (c) 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
   4  * All rights reserved.                                                     */
   5
   6 /* This program is free software; you can redistribute it and/or modify it
   7  * under the terms of the license (GNU LGPL) which comes with this package. */
   8
   9 /* This is partially inspirated from the OSSP ts (Test Suite Library)       */
  10
  11 #include "portable.h"
  12
  13 #include "xbt/sysdep.h"         /* vasprintf */
  14 #include "xbt/cunit.h"
  15 #include "xbt/dynar.h"
  16
  17 /* collection of all suites */
  18 static xbt_dynar_t _xbt_test_suites = NULL;
  19 /* global statistics */
  20 static int _xbt_test_nb_tests = 0;
  21 static int _xbt_test_test_failed = 0;
  22 static int _xbt_test_test_ignore = 0;
  23 static int _xbt_test_test_expect = 0;
  24
  25 static int _xbt_test_nb_units = 0;
  26 static int _xbt_test_unit_failed = 0;
  27 static int _xbt_test_unit_ignore = 0;
  28 static int _xbt_test_unit_disabled = 0;
  29
  30 static int _xbt_test_nb_suites = 0;
  31 static int _xbt_test_suite_failed = 0;
  32 static int _xbt_test_suite_ignore = 0;
  33 static int _xbt_test_suite_disabled = 0;
  34
  35 /* Context */
  36 xbt_test_unit_t _xbt_test_current_unit = NULL;
  37
  38
  39 /* test suite test log */
  40 typedef struct s_xbt_test_log {
  41   char *text;
  42   const char *file;
  43   int line;
  44 } *xbt_test_log_t;
  45
  46 static void xbt_test_log_dump(xbt_test_log_t log)
  47 {
  48   if (log)
  49     fprintf(stderr, "      log %p(%s:%d)=%s\n", log, log->file, log->line,
  50             log->text);
  51   else
  52     fprintf(stderr, "      log=NULL\n");
  53 }
  54
  55 /* test suite test check */
  56 typedef struct s_xbt_test_test {
  57   char *title;
  58   int failed;
  59   int expected_failure;
  60   int ignored;
  61   const char *file;
  62   int line;
  63   xbt_dynar_t logs;
  64 } *xbt_test_test_t;
  65
  66 static void xbt_test_test_dump(xbt_test_test_t test)
  67 {
  68   if (test) {
  69     xbt_test_log_t log;
  70     unsigned int it_log;
  71     fprintf(stderr, "    test %p(%s:%d)=%s (%s)\n",
  72             test, test->file, test->line, test->title,
  73             test->failed ? "failed" : "not failed");
  74     xbt_dynar_foreach(test->logs, it_log, log)
  75         xbt_test_log_dump(log);
  76   } else
  77     fprintf(stderr, "    test=NULL\n");
  78 }
  79
  80 /* test suite test unit */
  81 struct s_xbt_test_unit {
  82   int enabled;
  83   char *name;
  84   char *title;
  85   ts_test_cb_t func;
  86   const char *file;
  87   int line;
  88   xbt_dynar_t tests;            /* of xbt_test_test_t */
  89
  90   int nb_tests;
  91   int test_failed, test_ignore, test_expect;
  92 };
  93
  94 static void xbt_test_unit_dump(xbt_test_unit_t unit)
  95 {
  96   if (unit) {
  97     xbt_test_test_t test;
  98     unsigned int it_test;
  99     fprintf(stderr, "  UNIT %s: %s (%s)\n",
 100             unit->name, unit->title,
 101             (unit->enabled ? "enabled" : "disabled"));
 102     if (unit->enabled)
 103       xbt_dynar_foreach(unit->tests, it_test, test)
 104           xbt_test_test_dump(test);
 105   } else {
 106     fprintf(stderr, "  unit=NULL\n");
 107   }
 108 }
 109
 110 /* test suite */
 111 struct s_xbt_test_suite {
 112   int enabled;
 113   const char *name;
 114   char *title;
 115   xbt_dynar_t units;            /* of xbt_test_unit_t */
 116
 117   int nb_tests, nb_units;
 118   int test_failed, test_ignore, test_expect;
 119   int unit_failed, unit_ignore, unit_disabled;
 120 };
 121
 122 /* destroy test suite */
 123 static void xbt_test_suite_free(void *s)
 124 {
 125   xbt_test_suite_t suite = *(xbt_test_suite_t *) s;
 126
 127   if (suite == NULL)
 128     return;
 129   xbt_dynar_free(&suite->units);
 130   free(suite->title);
 131   free(suite);
 132 }
 133
 134 static void xbt_test_unit_free(void *unit)
 135 {
 136   xbt_test_unit_t u = *(xbt_test_unit_t *) unit;
 137   /* name is static */
 138   free(u->title);
 139   xbt_dynar_free(&u->tests);
 140   free(u);
 141 }
 142
 143 static void xbt_test_test_free(void *test)
 144 {
 145   xbt_test_test_t t = *(xbt_test_test_t *) test;
 146   free(t->title);
 147   xbt_dynar_free(&(t->logs));
 148   free(t);
 149 }
 150
 151 static void xbt_test_log_free(void *log)
 152 {
 153   xbt_test_log_t l = *(xbt_test_log_t *) log;
 154   free(l->text);
 155   free(l);
 156 }
 157
 158 /** @brief create test suite */
 159 xbt_test_suite_t xbt_test_suite_new(const char *name, const char *fmt, ...)
 160 {
 161   xbt_test_suite_t suite = xbt_new0(struct s_xbt_test_suite, 1);
 162   va_list ap;
 163   int vres;
 164
 165   if (!_xbt_test_suites)
 166     _xbt_test_suites =
 167         xbt_dynar_new(sizeof(xbt_test_suite_t), xbt_test_suite_free);
 168
 169   va_start(ap, fmt);
 170   vres = vasprintf(&suite->title, fmt, ap);
 171   suite->units =
 172       xbt_dynar_new(sizeof(xbt_test_unit_t), &xbt_test_unit_free);
 173   va_end(ap);
 174   suite->name = name;
 175   suite->enabled = 1;
 176
 177   xbt_dynar_push(_xbt_test_suites, &suite);
 178
 179   return suite;
 180 }
 181
 182 /** @brief retrieve a testsuite from name, or create a new one */
 183 xbt_test_suite_t xbt_test_suite_by_name(const char *name, const char *fmt,
 184                                         ...)
 185 {
 186   xbt_test_suite_t suite;
 187   unsigned int it_suite;
 188
 189   char *bufname;
 190   va_list ap;
 191   int vres;
 192
 193   if (_xbt_test_suites)
 194     xbt_dynar_foreach(_xbt_test_suites, it_suite, suite)
 195         if (!strcmp(suite->name, name))
 196       return suite;
 197
 198   va_start(ap, fmt);
 199   vres = vasprintf(&bufname, fmt, ap);
 200   va_end(ap);
 201   suite = xbt_test_suite_new(name, bufname, NULL);
 202   free(bufname);
 203
 204   return suite;
 205 }
 206
 207 void xbt_test_suite_dump(xbt_test_suite_t suite)
 208 {
 209   if (suite) {
 210     xbt_test_unit_t unit;
 211     unsigned int it_unit;
 212     fprintf(stderr, "TESTSUITE %s: %s (%s)\n",
 213             suite->name, suite->title,
 214             suite->enabled ? "enabled" : "disabled");
 215     if (suite->enabled)
 216       xbt_dynar_foreach(suite->units, it_unit, unit)
 217           xbt_test_unit_dump(unit);
 218   } else {
 219     fprintf(stderr, "TESTSUITE IS NULL!\n");
 220   }
 221 }
 222
 223 /* add test case to test suite */
 224 void xbt_test_suite_push(xbt_test_suite_t suite, const char *name,
 225                          ts_test_cb_t func, const char *fmt, ...)
 226 {
 227   xbt_test_unit_t unit;
 228   va_list ap;
 229   int vres;
 230
 231   xbt_assert(suite);
 232   xbt_assert(func);
 233   xbt_assert(fmt);
 234
 235   unit = xbt_new0(struct s_xbt_test_unit, 1);
 236   va_start(ap, fmt);
 237   vres = vasprintf(&unit->title, fmt, ap);
 238   va_end(ap);
 239   unit->name = (char *) name;
 240   unit->func = func;
 241   unit->file = NULL;
 242   unit->line = 0;
 243   unit->enabled = 1;
 244   unit->tests = xbt_dynar_new(sizeof(xbt_test_test_t), xbt_test_test_free);
 245
 246   xbt_dynar_push(suite->units, &unit);
 247   return;
 248 }
 249
 250 /* run test one suite */
 251 static int xbt_test_suite_run(xbt_test_suite_t suite)
 252 {
 253   xbt_test_unit_t unit;
 254   xbt_test_test_t test;
 255   xbt_test_log_t log;
 256
 257   const char *file;
 258   int line;
 259   char *cp;
 260   unsigned int it_unit, it_test, it_log;
 261
 262   int first = 1;                /* for result pretty printing */
 263   int vres;
 264
 265   if (suite == NULL)
 266     return 0;
 267
 268   /* suite title pretty-printing */
 269   {
 270     char suite_title[81];
 271     int suite_len = strlen(suite->title);
 272     int i;
 273
 274     xbt_assert2(suite_len < 68,
 275                 "suite title \"%s\" too long (%d should be less than 68",
 276                 suite->title, suite_len);
 277
 278     suite_title[0] = ' ';
 279     for (i = 1; i < 80; i++)
 280       suite_title[i] = '=';
 281     suite_title[i++] = '\n';
 282     suite_title[80] = '\0';
 283
 284     sprintf(suite_title + 40 - (suite_len + 4) / 2, "[ %s ]",
 285             suite->title);
 286     suite_title[40 + (suite_len + 5) / 2] = '=';
 287     if (!suite->enabled)
 288       snprintf(suite_title + 70, 11, " DISABLED ");
 289     fprintf(stderr, "\n%s\n", suite_title);
 290   }
 291
 292   if (suite->enabled) {
 293     /* iterate through all tests */
 294     xbt_dynar_foreach(suite->units, it_unit, unit) {
 295       /* init unit case counters */
 296       unit->nb_tests = 0;
 297       unit->test_ignore = 0;
 298       unit->test_failed = 0;
 299       unit->test_expect = 0;
 300
 301       /* display unit title */
 302       vres =
 303           asprintf(&cp,
 304                    " Unit: %s ......................................"
 305                    "......................................", unit->title);
 306       cp[70] = '\0';
 307       fprintf(stderr, "%s", cp);
 308       free(cp);
 309
 310       /* run the test case function */
 311       _xbt_test_current_unit = unit;
 312       if (unit->enabled)
 313         unit->func();
 314
 315       /* iterate through all performed tests to determine status */
 316       xbt_dynar_foreach(unit->tests, it_test, test) {
 317         if (test->ignored) {
 318           unit->test_ignore++;
 319         } else {
 320           unit->nb_tests++;
 321
 322           if (test->failed && !test->expected_failure)
 323             unit->test_failed++;
 324           if (!test->failed && test->expected_failure)
 325             unit->test_failed++;
 326           if (test->expected_failure)
 327             unit->test_expect++;
 328         }
 329       }
 330
 331
 332       /* Display whether this unit went well */
 333       if (unit->test_failed > 0 || unit->test_expect) {
 334         /* some tests failed (or were supposed to), so do detailed reporting of test case */
 335         if (unit->test_failed > 0) {
 336           fprintf(stderr, ".. failed\n");
 337         } else if (unit->nb_tests) {
 338           fprintf(stderr, "...... ok\n");       /* successful, but show about expected */
 339         } else {
 340           fprintf(stderr, ".... skip\n");       /* shouldn't happen, but I'm a bit lost with this logic */
 341         }
 342         xbt_dynar_foreach(unit->tests, it_test, test) {
 343           file = (test->file != NULL ? test->file : unit->file);
 344           line = (test->line != 0 ? test->line : unit->line);
 345           fprintf(stderr, "      %s: %s [%s:%d]\n",
 346                   (test->ignored ? " SKIP"
 347                    : (test->expected_failure
 348                       ? (test->
 349                          failed ? "EFAIL" : "EPASS") : (test->failed ?
 350                                                         " FAIL" :
 351                                                         " PASS"))),
 352                   test->title, file, line);
 353
 354           if ((test->expected_failure && !test->failed)
 355               || (!test->expected_failure && test->failed)) {
 356             xbt_dynar_foreach(test->logs, it_log, log) {
 357               file = (log->file != NULL ? log->file : file);
 358               line = (log->line != 0 ? log->line : line);
 359               fprintf(stderr, "             %s:%d: %s\n",
 360                       file, line, log->text);
 361
 362             }
 363           }
 364         }
 365         fprintf(stderr, "    Summary: %d of %d tests failed",
 366                 unit->test_failed, unit->nb_tests);
 367         if (unit->test_ignore) {
 368           fprintf(stderr, " (%d tests ignored)\n", unit->test_ignore);
 369         } else {
 370           fprintf(stderr, "\n");
 371         }
 372
 373       } else if (!unit->enabled) {
 374         fprintf(stderr, " disabled\n"); /* no test were run */
 375       } else if (unit->nb_tests) {
 376         fprintf(stderr, "...... ok\n"); /* successful */
 377       } else {
 378         fprintf(stderr, ".... skip\n"); /* no test were run */
 379       }
 380
 381       /* Accumulate test counts into the suite */
 382       suite->nb_tests += unit->nb_tests;
 383       suite->test_failed += unit->test_failed;
 384       suite->test_ignore += unit->test_ignore;
 385       suite->test_expect += unit->test_expect;
 386
 387       _xbt_test_nb_tests += unit->nb_tests;
 388       _xbt_test_test_failed += unit->test_failed;
 389       _xbt_test_test_ignore += unit->test_ignore;
 390       _xbt_test_test_expect += unit->test_expect;
 391
 392       /* What's the conclusion of this test anyway? */
 393       if (unit->nb_tests) {
 394         suite->nb_units++;
 395         if (unit->test_failed)
 396           suite->unit_failed++;
 397       } else if (!unit->enabled) {
 398         suite->unit_disabled++;
 399       } else {
 400         suite->unit_ignore++;
 401       }
 402     }
 403   }
 404   _xbt_test_nb_units += suite->nb_units;
 405   _xbt_test_unit_failed += suite->unit_failed;
 406   _xbt_test_unit_ignore += suite->unit_ignore;
 407   _xbt_test_unit_disabled += suite->unit_disabled;
 408
 409   if (suite->nb_units) {
 410     _xbt_test_nb_suites++;
 411     if (suite->test_failed)
 412       _xbt_test_suite_failed++;
 413   } else if (!suite->enabled) {
 414     _xbt_test_suite_disabled++;
 415   } else {
 416     _xbt_test_suite_ignore++;
 417   }
 418
 419
 420   /* print test suite summary */
 421   if (suite->enabled) {
 422
 423     fprintf(stderr,
 424             " =====================================================================%s\n",
 425             (suite->nb_units
 426              ? (suite->unit_failed ? "== FAILED" : "====== OK")
 427              : (suite->unit_disabled ? " DISABLED" : "==== SKIP")));
 428     fprintf(stderr, " Summary: Units: %.0f%% ok (%d units: ",
 429             suite->nb_units
 430             ? ((1 -
 431                 (double) suite->unit_failed / (double) suite->nb_units) *
 432                100.0) : 100.0, suite->nb_units);
 433
 434     if (suite->nb_units != suite->unit_failed) {
 435       fprintf(stderr, "%s%d ok", (first ? "" : ", "),
 436               suite->nb_units - suite->unit_failed);
 437       first = 0;
 438     }
 439     if (suite->unit_failed) {
 440       fprintf(stderr, "%s%d failed", (first ? "" : ", "),
 441               suite->unit_failed);
 442       first = 0;
 443     }
 444     if (suite->unit_ignore) {
 445       fprintf(stderr, "%s%d ignored", (first ? "" : ", "),
 446               suite->unit_ignore);
 447       first = 0;
 448     }
 449     if (suite->unit_disabled) {
 450       fprintf(stderr, "%s%d disabled", (first ? "" : ", "),
 451               suite->unit_disabled);
 452       first = 0;
 453     }
 454     fprintf(stderr, ")\n          Tests: %.0f%% ok (%d tests: ",
 455             suite->nb_tests
 456             ? ((1 -
 457                 (double) suite->test_failed / (double) suite->nb_tests) *
 458                100.0) : 100.0, suite->nb_tests);
 459
 460     first = 1;
 461     if (suite->nb_tests != suite->test_failed) {
 462       fprintf(stderr, "%s%d ok", (first ? "" : ", "),
 463               suite->nb_tests - suite->test_failed);
 464       first = 0;
 465     }
 466     if (suite->test_failed) {
 467       fprintf(stderr, "%s%d failed", (first ? "" : ", "),
 468               suite->test_failed);
 469       first = 0;
 470     }
 471     if (suite->test_ignore) {
 472       fprintf(stderr, "%s%d ignored", (first ? "" : "; "),
 473               suite->test_ignore);
 474       first = 0;
 475     }
 476     if (suite->test_expect) {
 477       fprintf(stderr, "%s%d expected to fail", (first ? "" : "; "),
 478               suite->test_expect);
 479       first = 0;
 480     }
 481     fprintf(stderr, ")\n");
 482   }
 483   return suite->unit_failed;
 484 }
 485
 486 static void apply_selection(char *selection)
 487 {
 488   /* for the parsing */
 489   char *sel = selection;
 490   char *p;
 491   int done = 0;
 492   char dir[1024];               /* the directive */
 493   /* iterators */
 494   unsigned int it_suite;
 495   xbt_test_suite_t suite;
 496   xbt_test_unit_t unit;
 497   unsigned int it_unit;
 498
 499   char suitename[512];
 500   char unitname[512];
 501
 502   if (!selection || selection[0] == '\0')
 503     return;
 504
 505   /*printf("Test selection: %s\n", selection); */
 506
 507   /* First apply the selection */
 508   while (!done) {
 509     int enabling = 1;
 510
 511     p = strchr(sel, ',');
 512     if (p) {
 513       strncpy(dir, sel, p - sel);
 514       dir[p - sel] = '\0';
 515       sel = p + 1;
 516     } else {
 517       strcpy(dir, sel);
 518       done = 1;
 519     }
 520
 521     if (dir[0] == '-') {
 522       enabling = 0;
 523       memmove(dir, dir + 1, strlen(dir));
 524     }
 525     if (dir[0] == '+') {
 526       enabling = 1;
 527       memmove(dir, dir + 1, strlen(dir));
 528     }
 529
 530     p = strchr(dir, ':');
 531     if (p) {
 532       strcpy(unitname, p + 1);
 533       strncpy(suitename, dir, p - dir);
 534       suitename[p - dir] = '\0';
 535     } else {
 536       strcpy(suitename, dir);
 537       unitname[0] = '\0';
 538     }
 539     /*fprintf(stderr,"Seen %s (%s; suite=%s; unit=%s)\n",
 540        dir,enabling?"enabling":"disabling", suitename, unitname); */
 541
 542     /* Deal with the specific case of 'all' pseudo serie */
 543     if (!strcmp("all", suitename)) {
 544       if (unitname[0] != '\0') {
 545         fprintf(stderr,
 546                 "The 'all' pseudo-suite does not accept any unit specification\n");
 547         exit(1);
 548       }
 549
 550       xbt_dynar_foreach(_xbt_test_suites, it_suite, suite) {
 551         xbt_dynar_foreach(suite->units, it_unit, unit) {
 552           unit->enabled = enabling;
 553         }
 554         suite->enabled = enabling;
 555       }
 556     } else {
 557       unsigned int it;
 558       for (it = 0; it < xbt_dynar_length(_xbt_test_suites); it++) {
 559         xbt_test_suite_t thissuite =
 560             xbt_dynar_get_as(_xbt_test_suites, it, xbt_test_suite_t);
 561         if (!strcmp(suitename, thissuite->name)) {
 562           /* Do not disable the whole suite when we just want to disable a child */
 563           if (enabling || (unitname[0] == '\0'))
 564             thissuite->enabled = enabling;
 565
 566           if (unitname[0] == '\0') {
 567             xbt_dynar_foreach(thissuite->units, it_unit, unit) {
 568               unit->enabled = enabling;
 569             }
 570           } else {              /* act on one child only */
 571             unsigned int it2_unit;
 572             /* search it, first (we won't reuse it for external loop which gets broken) */
 573             for (it2_unit = 0;
 574                  it2_unit < xbt_dynar_length(thissuite->units);
 575                  it2_unit++) {
 576               xbt_test_unit_t thisunit =
 577                   xbt_dynar_get_as(thissuite->units, it2_unit,
 578                                    xbt_test_unit_t);
 579               if (!strcmp(thisunit->name, unitname)) {
 580                 thisunit->enabled = enabling;
 581                 break;
 582               }
 583             }                   /* search relevant unit */
 584             if (it2_unit == xbt_dynar_length(thissuite->units)) {
 585               fprintf(stderr,
 586                       "Suite '%s' has no unit of name '%s'. Cannot apply the selection\n",
 587                       suitename, unitname);
 588               exit(1);
 589             }
 590           }                     /* act on childs (either all or one) */
 591
 592           break;                /* found the relevant serie. We are happy */
 593         }
 594       }                         /* search relevant series */
 595       if (it == xbt_dynar_length(_xbt_test_suites)) {
 596         fprintf(stderr,
 597                 "No suite of name '%s' found. Cannot apply the selection\n",
 598                 suitename);
 599         exit(1);
 600       }
 601     }
 602
 603   }
 604 }
 605
 606 void xbt_test_dump(char *selection)
 607 {
 608   apply_selection(selection);
 609
 610   if (_xbt_test_suites) {
 611     unsigned int it_suite;
 612     xbt_test_suite_t suite;
 613
 614     xbt_dynar_foreach(_xbt_test_suites, it_suite, suite)
 615         xbt_test_suite_dump(suite);
 616   } else {
 617     printf(" No suite defined.");
 618   }
 619 }
 620
 621 int xbt_test_run(char *selection)
 622 {
 623   apply_selection(selection);
 624
 625   if (_xbt_test_suites) {
 626     unsigned int it_suite;
 627     xbt_test_suite_t suite;
 628     int first = 1;
 629
 630     /* Run all the suites */
 631     xbt_dynar_foreach(_xbt_test_suites, it_suite, suite)
 632         xbt_test_suite_run(suite);
 633
 634     /* Display some more statistics */
 635     fprintf(stderr, "\n\n TOTAL: Suites: %.0f%% ok (%d suites: ",
 636             _xbt_test_nb_suites
 637             ? ((1 -
 638                 (double) _xbt_test_suite_failed /
 639                 (double) _xbt_test_nb_suites) * 100.0)
 640             : 100.0, _xbt_test_nb_suites);
 641     if (_xbt_test_nb_suites != _xbt_test_suite_failed) {
 642       fprintf(stderr, "%d ok",
 643               _xbt_test_nb_suites - _xbt_test_suite_failed);
 644       first = 0;
 645     }
 646     if (_xbt_test_suite_failed) {
 647       fprintf(stderr, "%s%d failed", (first ? "" : ", "),
 648               _xbt_test_suite_failed);
 649       first = 0;
 650     }
 651
 652     if (_xbt_test_suite_ignore) {
 653       fprintf(stderr, "%s%d ignored", (first ? "" : ", "),
 654               _xbt_test_suite_ignore);
 655       first = 0;
 656     }
 657     fprintf(stderr, ")\n        Units:  %.0f%% ok (%d units: ",
 658             _xbt_test_nb_units
 659             ? ((1 -
 660                 (double) _xbt_test_unit_failed /
 661                 (double) _xbt_test_nb_units) * 100.0) : 100.0,
 662             _xbt_test_nb_units);
 663     first = 1;
 664     if (_xbt_test_nb_units != _xbt_test_unit_failed) {
 665       fprintf(stderr, "%s%d ok", (first ? "" : ", "),
 666               _xbt_test_nb_units - _xbt_test_unit_failed);
 667       first = 0;
 668     }
 669     if (_xbt_test_unit_failed) {
 670       fprintf(stderr, "%s%d failed", (first ? "" : ", "),
 671               _xbt_test_unit_failed);
 672       first = 0;
 673     }
 674     if (_xbt_test_unit_ignore) {
 675       fprintf(stderr, "%s%d ignored", (first ? "" : ", "),
 676               _xbt_test_unit_ignore);
 677       first = 0;
 678     }
 679     fprintf(stderr, ")\n        Tests:  %.0f%% ok (%d tests: ",
 680             _xbt_test_nb_tests
 681             ? ((1 -
 682                 (double) _xbt_test_test_failed /
 683                 (double) _xbt_test_nb_tests) * 100.0) : 100.0,
 684             _xbt_test_nb_tests);
 685     first = 1;
 686     if (_xbt_test_nb_tests != _xbt_test_test_failed) {
 687       fprintf(stderr, "%s%d ok", (first ? "" : ", "),
 688               _xbt_test_nb_tests - _xbt_test_test_failed);
 689       first = 0;
 690     }
 691     if (_xbt_test_test_failed) {
 692       fprintf(stderr, "%s%d failed", (first ? "" : ", "),
 693               _xbt_test_test_failed);
 694       first = 0;
 695     }
 696     if (_xbt_test_test_ignore) {
 697       fprintf(stderr, "%s%d ignored", (first ? "" : ", "),
 698               _xbt_test_test_ignore);
 699       first = 0;
 700     }
 701     if (_xbt_test_test_expect) {
 702       fprintf(stderr, "%s%d expected to fail", (first ? "" : ", "),
 703               _xbt_test_test_expect);
 704     }
 705
 706     fprintf(stderr, ")\n");
 707   } else {
 708     fprintf(stderr, "No unit to run!\n");
 709     _xbt_test_unit_failed++;
 710   }
 711   return _xbt_test_unit_failed;
 712 }
 713
 714 void xbt_test_exit(void)
 715 {
 716   xbt_dynar_free(&_xbt_test_suites);
 717 }
 718
 719 /* annotate test case with test */
 720 void _xbt_test_add(const char *file, int line, const char *fmt, ...)
 721 {
 722   xbt_test_unit_t unit = _xbt_test_current_unit;
 723   xbt_test_test_t test;
 724   va_list ap;
 725   int vres;
 726
 727   xbt_assert(unit);
 728   xbt_assert(fmt);
 729
 730   test = xbt_new0(struct s_xbt_test_test, 1);
 731   va_start(ap, fmt);
 732   vres = vasprintf(&test->title, fmt, ap);
 733   va_end(ap);
 734   test->failed = 0;
 735   test->expected_failure = 0;
 736   test->ignored = 0;
 737   test->file = file;
 738   test->line = line;
 739   test->logs = xbt_dynar_new(sizeof(xbt_test_log_t), xbt_test_log_free);
 740   xbt_dynar_push(unit->tests, &test);
 741   return;
 742 }
 743
 744 /* annotate test case with log message and failure */
 745 void _xbt_test_fail(const char *file, int line, const char *fmt, ...)
 746 {
 747   xbt_test_unit_t unit = _xbt_test_current_unit;
 748   xbt_test_test_t test;
 749   xbt_test_log_t log;
 750   va_list ap;
 751   int vres;
 752
 753   xbt_assert(unit);
 754   xbt_assert(fmt);
 755
 756   xbt_assert1(xbt_dynar_length(_xbt_test_current_unit->tests),
 757               "Test failed even before being declared (broken unit: %s)",
 758               unit->title);
 759
 760   log = xbt_new(struct s_xbt_test_log, 1);
 761   va_start(ap, fmt);
 762   vres = vasprintf(&log->text, fmt, ap);
 763   va_end(ap);
 764   log->file = file;
 765   log->line = line;
 766
 767   test = xbt_dynar_getlast_as(unit->tests, xbt_test_test_t);
 768   xbt_dynar_push(test->logs, &log);
 769
 770   test->failed = 1;
 771 }
 772
 773 void xbt_test_exception(xbt_ex_t e)
 774 {
 775   _xbt_test_fail(e.file, e.line, "Exception %s raised: %s",
 776                  xbt_ex_catname(e.category), e.msg);
 777 }
 778
 779 void xbt_test_expect_failure(void)
 780 {
 781   xbt_test_test_t test;
 782   xbt_assert1(xbt_dynar_length(_xbt_test_current_unit->tests),
 783               "Cannot expect the failure of a test before declaring it (broken unit: %s)",
 784               _xbt_test_current_unit->title);
 785   test =
 786       xbt_dynar_getlast_as(_xbt_test_current_unit->tests, xbt_test_test_t);
 787   test->expected_failure = 1;
 788 }
 789
 790 void xbt_test_skip(void)
 791 {
 792   xbt_test_test_t test;
 793
 794   xbt_assert1(xbt_dynar_length(_xbt_test_current_unit->tests),
 795               "Test skiped even before being declared (broken unit: %s)",
 796               _xbt_test_current_unit->title);
 797
 798   test =
 799       xbt_dynar_getlast_as(_xbt_test_current_unit->tests, xbt_test_test_t);
 800   test->ignored = 1;
 801 }
 802
 803 /* annotate test case with log message only */
 804 void _xbt_test_log(const char *file, int line, const char *fmt, ...)
 805 {
 806   xbt_test_unit_t unit = _xbt_test_current_unit;
 807   xbt_test_test_t test;
 808   xbt_test_log_t log;
 809   va_list ap;
 810   int vres;
 811
 812   xbt_assert(unit);
 813   xbt_assert(fmt);
 814
 815   xbt_assert1(xbt_dynar_length(_xbt_test_current_unit->tests),
 816               "Test logged into even before being declared (broken test unit: %s)",
 817               unit->title);
 818
 819   log = xbt_new(struct s_xbt_test_log, 1);
 820   va_start(ap, fmt);
 821   vres = vasprintf(&log->text, fmt, ap);
 822   va_end(ap);
 823   log->file = file;
 824   log->line = line;
 825
 826   test = xbt_dynar_getlast_as(unit->tests, xbt_test_test_t);
 827   xbt_dynar_push(test->logs, &log);
 828 }
 829
 830
 831
 832
 833 #ifdef SIMGRID_TEST
 834
 835 XBT_TEST_SUITE("cunit", "Testsuite mechanism autotest");
 836
 837 XBT_TEST_UNIT("expect", test_expected_failure, "expected failures")
 838 {
 839   xbt_test_add0("Skipped test");
 840   xbt_test_skip();
 841
 842   xbt_test_add2("%s %s", "EXPECTED", "FAILURE");
 843   xbt_test_expect_failure();
 844   xbt_test_log2("%s %s", "Test", "log");
 845   xbt_test_fail0("EXPECTED FAILURE");
 846 }
 847
 848 #endif                          /* SIMGRID_TEST */