* @addtogroup XBT_error
* @brief Those are the SimGrid version of the good ol' assert macro.
*
- * <center><table><tr><td><b>Top</b> <td> [\ref index]::[\ref XBT_API]
- * <tr><td><b>Prev</b> <td> [\ref XBT_log]
- * <tr><td><b>Next</b> <td> [\ref XBT_config] </table></center>
- *
* You can pass them a format message and arguments, just as if it where a printf.
* It is converted to a CRITICALn logging request.
*
* @{
*/
-void xbt_abort(void) _XBT_GNUC_NORETURN;
-void xbt_die(const char *msg) _XBT_GNUC_NORETURN;
#ifdef NDEBUG
#define xbt_assert(cond)