1 #ifndef __BUGMESSAGE_H__
2 #define __BUGMESSAGE_H__
8 bug_message(const char *str) {
9 const char *fmt = " [BUG] %s\n";
10 msg = (char *)snapshot_malloc(strlen(fmt) + strlen(str));
11 sprintf(msg, fmt, str);
13 ~bug_message() { if (msg) snapshot_free(msg); }
16 void print() { model_print("%s", msg); }
21 #endif /* __BUGMESSAGE_H__ */