void set_inspect_plugin(TraceAnalysis *a) { inspect_plugin=a; }
void startMainThread();
void startChecker();
+ Thread * getInitThread() {return init_thread;}
+ Scheduler * getScheduler() {return scheduler;}
MEMALLOC
private:
/** Flag indicates whether to restart the model checker. */