/* Fortran specific stuff */
/* With smpicc, the following weak symbols are used */
/* With smpiff, the following weak symbols are replaced by those in libf2c */
-
int __attribute__((weak)) xargc;
char** __attribute__((weak)) xargv;
fflush(stderr);
if (MC_is_active())
- MC_modelcheck();
+ MC_modelcheck_safety();
else
SIMIX_run();