/* 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;
-
-int __attribute__((weak)) smpi_simulated_main(int argc, char** argv) {
+void __attribute__((weak)) user_main__(){
xbt_die("Should not be in this smpi_simulated_main");
- return 1;
+ return;
+}
+
+int __attribute__((weak)) smpi_simulated_main__(int argc, char** argv) {
+ smpi_process_init(&argc, &argv);
+ user_main__();
+ //xbt_die("Should not be in this smpi_simulated_main");
+ return 0;
}
int __attribute__((weak)) main(int argc, char** argv) {
- return smpi_main(smpi_simulated_main,argc,argv);
+ return smpi_main(smpi_simulated_main__,argc,argv);
}
int __attribute__((weak)) MAIN__(){
- return smpi_main(smpi_simulated_main,xargc, xargv);
+ return smpi_main(smpi_simulated_main__,xargc, xargv);
};
int smpi_main(int (*realmain) (int argc, char *argv[]),int argc, char *argv[])
fflush(stderr);
if (MC_is_active())
- MC_modelcheck();
+ MC_modelcheck_safety();
else
SIMIX_run();