src/xbt/cunit.c

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