do {
SIMIX_context_runall(simix_global->process_to_run);
while((req = SIMIX_request_pop())){
- if(!SIMIX_request_isVisible(req))
+ if(!SIMIX_request_is_visible(req))
SIMIX_request_pre(req);
else if(req->call == REQ_COMM_WAITANY)
THROW_UNIMPLEMENTED;
/************************* Assertion Checking *********************************/
void MC_assert(int prop)
{
- if (_surf_do_model_check && !prop) {
+ if (MC_IS_ENABLED && !prop) {
INFO0("**************************");
INFO0("*** PROPERTY NOT VALID ***");
INFO0("**************************");
xbt_free(req_str);
INFO0("Counter-example execution trace:");
MC_dump_stack(mc_stack);
-}
\ No newline at end of file
+}