|
| iMatix home page | << | < | > | >> |
SMTVersion 2.81 |
#include "smtlib.h" char * smt_crash_report (void)
Returns a formatted string showing the current agent, state, module, step, event, and catch report, if any.
{
static char
report [512];
sprintf (report, "Abort at %s:%s:%s (%s, %s)",
cur_agent, cur_module, cur_step,
cur_state, cur_event);
return (report);
}
| | << | < | > | >> |
|