| iMatix home page
| << | < | > | >> 		SMT Logo SMT
Version 2.81
 

smt_set_step

#include "smtlib.h"
void
smt_set_step (const char *step)

Synopsis

Sets the current module 'step'. Used to debug applications: suspect modules can set 'steps': the last of which is displayed when there is a SEGV crash. Must be called with a string (constant) value.

Source Code - (smtlib.c)

{
    cur_step = (char *) step;
}
| << | < | > | >> iMatix Copyright © 1996-99 iMatix Corporation