if(saved_req){
/* because we got a copy of the executed request, we have to fetch the
real one, pointed by the request field of the issuer process */
- req = saved_req->issuer->request;
+ req = &saved_req->issuer->request;
/* Debug information */
if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
/************************* Assertion Checking *********************************/
void MC_assert(int prop)
{
- if (_surf_do_model_check && !prop) {
+ if (MC_IS_ENABLED && !prop) {
INFO0("**************************");
INFO0("*** PROPERTY NOT VALID ***");
INFO0("**************************");