| iMatix home page | << | < | > | >> |
SMT Version 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); }
| << | < | > | >> | Copyright © 1996-99 iMatix Corporation |