return process_remote_address;
mc_smx_process_info_t process_info = MC_smx_resolve_process_info(process_remote_address);
return process_remote_address;
mc_smx_process_info_t process_info = MC_smx_resolve_process_info(process_remote_address);
const char* MC_smx_process_get_name(smx_process_t p)
{
mc_process_t process = &mc_model_checker->process();
const char* MC_smx_process_get_name(smx_process_t p)
{
mc_process_t process = &mc_model_checker->process();