XBT_PUBLIC(int) xbt_test_run(char *selection);
/* Show information about the selection of tests */
XBT_PUBLIC(void) xbt_test_dump(char *selection);
XBT_PUBLIC(int) xbt_test_run(char *selection);
/* Show information about the selection of tests */
XBT_PUBLIC(void) xbt_test_dump(char *selection);
/* test operations */
XBT_PUBLIC(void) _xbt_test_add(const char*file,int line, const char *fmt, ...)_XBT_GNUC_PRINTF(3,4);
/* test operations */
XBT_PUBLIC(void) _xbt_test_add(const char*file,int line, const char *fmt, ...)_XBT_GNUC_PRINTF(3,4);