smt_exec

SMT
Version 2.81

`smt_exec_step`

#include "smtlib.h"
Bool
smt_exec_step (void)

Synopsis

Rebuilds the active list, delivering any events possible, then executes the first thread in the active list. Returns TRUE so long as there is something happening; returns FALSE when the application has 'halted'.

Source Code - (smtlib.c)

{
#if (defined (SMT_TRACE))
    trace ("smt_exec_step");
#endif
    deliver_events ();                  /*  Rebuild active thread list       */
    if (smt active ())                  /*    and execute first thread       */
      {                                 /*    if any is active               */
        if (execute_thread (active_threads.right))
            /*  Fatal-error action for a thread is simple: destroy it        */
            thread destroy (active_threads.right, FALSE);
        return (TRUE);
      }
    else
        return (FALSE);
}

| << | < | > | >>