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

smt_exec_full

#include "smtlib.h"
int
smt_exec_full (void)

Synopsis

Executes the current set of threads until there are no more active threads left, or events to deliver. At this point we say that the application has 'halted'. Returns 0.

Source Code - (smtlib.c)

{
#if (defined (SMT_TRACE))
    trace ("smt_exec_full");
#endif
    while (smt exec step ());
    return (0);
}
| << | < | > | >> iMatix Copyright © 1996-99 iMatix Corporation