#include "msg/datatypes.h"
#include "xbt/error.h"
+static void ASSERT(int value, const char *fmt, ...)
+{
+ m_process_t self = MSG_process_self();
+ va_list ap;
+
+ if(!value) {
+ va_start(ap, fmt);
+ if (self)
+ fprintf(stderr, "[%Lg] P%d | ", MSG_getClock(),
+ MSG_process_get_PID(self));
+ vfprintf(stderr, fmt, ap);
+ va_end(ap);
+
+ xbt_abort();
+ }
+ return;
+}
+
static void DIE(const char *fmt, ...)
{
m_process_t self = MSG_process_self();
va_start(ap, fmt);
if (self)
- fprintf(stderr, "[%Lg] P%d | ", MSG_getClock(),
- MSG_process_get_PID(self));
+ fprintf(stderr, "[%Lg] P%d | (%s:%s) ", MSG_getClock(),
+ MSG_process_get_PID(self), MSG_host_self()->name, self->name);
vfprintf(stderr, fmt, ap);
va_end(ap);
#endif
va_start(ap, fmt);
if (self)
- fprintf(stderr, "DEBUG [%Lg] P%d | ", MSG_getClock(),
- MSG_process_get_PID(self));
+ fprintf(stderr, "DEBUG [%Lg] P%d | (%s) ", MSG_getClock(),
+ MSG_process_get_PID(self), MSG_host_self()->name);
vfprintf(stderr, fmt, ap);
va_end(ap);
#endif