model-checker : update examples with new function MSG_init

diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c
index 80fbae2..82bb266 100644 (file)
--- a/examples/msg/mc/bugged1.c
+++ b/examples/msg/mc/bugged1.c
@@ -46,7 +46,7 @@ int client(int argc, char *argv[])
 int main(int argc, char *argv[])
 {
 
 int main(int argc, char *argv[])
 {
 

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

 
   MSG_create_environment("platform.xml");
 
 
   MSG_create_environment("platform.xml");
 

diff --git a/examples/msg/mc/bugged1_for_liveness.c b/examples/msg/mc/bugged1_for_liveness.c
index 0a5983d..784e667 100644 (file)
--- a/examples/msg/mc/bugged1_for_liveness.c
+++ b/examples/msg/mc/bugged1_for_liveness.c
@@ -132,7 +132,7 @@ int main(int argc, char *argv[])
   xbt_new_propositional_symbol(a,"r", &predR); 
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   
   xbt_new_propositional_symbol(a,"r", &predR); 
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);

diff --git a/examples/msg/mc/bugged1_while_liveness.c b/examples/msg/mc/bugged1_while_liveness.c
index f26749c..8d2bdb2 100644 (file)
--- a/examples/msg/mc/bugged1_while_liveness.c
+++ b/examples/msg/mc/bugged1_while_liveness.c
@@ -123,7 +123,7 @@ int main(int argc, char *argv[])
   xbt_new_propositional_symbol(a,"r", &predR); 
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   
   xbt_new_propositional_symbol(a,"r", &predR); 
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);

diff --git a/examples/msg/mc/bugged2.c b/examples/msg/mc/bugged2.c
index 28ef0f7..f703ec8 100644 (file)
--- a/examples/msg/mc/bugged2.c
+++ b/examples/msg/mc/bugged2.c
@@ -64,7 +64,7 @@ int client(int argc, char *argv[])
 
 int main(int argc, char *argv[])
 {
 
 int main(int argc, char *argv[])
 {

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

 
   MSG_create_environment("platform.xml");
 
 
   MSG_create_environment("platform.xml");
 

diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c
index 5a2dd19..25a35ca 100644 (file)
--- a/examples/msg/mc/bugged2_liveness.c
+++ b/examples/msg/mc/bugged2_liveness.c
@@ -178,7 +178,7 @@ int main(int argc, char *argv[])
   xbt_new_propositional_symbol(a,"consume", &predConsume);
   xbt_new_propositional_symbol(a,"produce", &predProduce); 
   
   xbt_new_propositional_symbol(a,"consume", &predConsume);
   xbt_new_propositional_symbol(a,"produce", &predProduce); 
   

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("consumer", consumer);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("consumer", consumer);

diff --git a/examples/msg/mc/bugged3.c b/examples/msg/mc/bugged3.c
index 0a21025..9e7bdfc 100644 (file)
--- a/examples/msg/mc/bugged3.c
+++ b/examples/msg/mc/bugged3.c
@@ -55,7 +55,7 @@ int client(int argc, char *argv[])
 
 int main(int argc, char *argv[])
 {
 
 int main(int argc, char *argv[])
 {

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

 
   MSG_create_environment("platform.xml");
 
 
   MSG_create_environment("platform.xml");
 

diff --git a/examples/msg/mc/centralized_liveness.c b/examples/msg/mc/centralized_liveness.c
index 395d4c2..c78c267 100644 (file)
--- a/examples/msg/mc/centralized_liveness.c
+++ b/examples/msg/mc/centralized_liveness.c
@@ -102,7 +102,7 @@ int main(int argc, char *argv[])
   xbt_automaton_t a = MC_create_automaton("promela_centralized_liveness");
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   
   xbt_automaton_t a = MC_create_automaton("promela_centralized_liveness");
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);

diff --git a/examples/msg/mc/centralized_liveness_deadlock.c b/examples/msg/mc/centralized_liveness_deadlock.c
index d73624f..3c02d51 100644 (file)
--- a/examples/msg/mc/centralized_liveness_deadlock.c
+++ b/examples/msg/mc/centralized_liveness_deadlock.c
@@ -99,7 +99,7 @@ int main(int argc, char *argv[])
   xbt_automaton_t a = MC_create_automaton("promela_centralized_liveness");
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   
   xbt_automaton_t a = MC_create_automaton("promela_centralized_liveness");
   xbt_new_propositional_symbol(a,"cs", &predCS); 
   

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);

diff --git a/examples/msg/mc/centralized_mutex.c b/examples/msg/mc/centralized_mutex.c
index 5cfb74f..7e50729 100644 (file)
--- a/examples/msg/mc/centralized_mutex.c
+++ b/examples/msg/mc/centralized_mutex.c
@@ -80,7 +80,7 @@ int client(int argc, char *argv[])
 
 int main(int argc, char *argv[])
 {
 
 int main(int argc, char *argv[])
 {

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);

diff --git a/examples/msg/mc/random_test.c b/examples/msg/mc/random_test.c
index 9dda26d..8814bdf 100644 (file)
--- a/examples/msg/mc/random_test.c
+++ b/examples/msg/mc/random_test.c
@@ -16,7 +16,7 @@ int server(int argc, char *argv[])
 
 int main(int argc, char *argv[])
 {
 
 int main(int argc, char *argv[])
 {

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

 
   MSG_create_environment("platform.xml");
 
 
   MSG_create_environment("platform.xml");
 

diff --git a/examples/msg/mc/test_snapshot.c b/examples/msg/mc/test_snapshot.c
index 13ca8d0..77260db 100644 (file)
--- a/examples/msg/mc/test_snapshot.c
+++ b/examples/msg/mc/test_snapshot.c
@@ -136,7 +136,7 @@ int main(int argc, char *argv[])
   xbt_new_propositional_symbol(automaton,"r", &predR); 
   xbt_new_propositional_symbol(automaton,"cs", &predCS); 
   
   xbt_new_propositional_symbol(automaton,"r", &predR); 
   xbt_new_propositional_symbol(automaton,"cs", &predCS); 
   

-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);

   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);
   MSG_create_environment("../msg_platform.xml");
   MSG_function_register("coordinator", coordinator);
   MSG_function_register("client", client);