-// HACK, for the unit test only
-void ModelChecker::init_process()
-{
- // TODO, avoid direct dependency on sg_cfg
- process_ = std::unique_ptr<Process>(new Process(pid_, socket_));
- process_->privatized(sg_cfg_get_boolean("smpi/privatize_global_variables"));
-}
-