+ char **options = &argv[1];
+
+ MC_automaton_new_propositional_symbol_pointer("r", &r);
+ MC_automaton_new_propositional_symbol_pointer("cs", &cs);
+
+ const char* platform_file = options[0];
+ const char* application_file = options[1];
+
+ MSG_create_environment(platform_file);