src/xbt/cunit.c

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