|
| iMatix home page | << | < | > | >> |
SMTVersion 2.81 |
#include "smtlib.h" void smt_set_console (const QID *qid)
Tells the SMT kernel to send error events to the specified console queue. There can be just one console queue. If you do not specify a console queue, error events are discarded.
{
#if (defined (SMT_TRACE))
trace ("smt_set_console");
#endif
console = *qid;
}
| | << | < | > | >> |
|