From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 21 Jun 2012 09:51:44 +0000 (+0200)
Subject: model-checker : update examples with new function MSG_init
X-Git-Tag: v3_8~528^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2b1e59493dcd4f1709b1228c673364ef7facc6e5

model-checker : update examples with new function MSG_init
---

diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c
index 80fbae2723..82bb26678a 100644
--- 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[])
 {
 
-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);
 
   MSG_create_environment("platform.xml");
 
diff --git a/examples/msg/mc/bugged1_for_liveness.c b/examples/msg/mc/bugged1_for_liveness.c
index 0a5983d072..784e667a5d 100644
--- 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); 
   
-  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);
diff --git a/examples/msg/mc/bugged1_while_liveness.c b/examples/msg/mc/bugged1_while_liveness.c
index f26749c847..8d2bdb24ac 100644
--- 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); 
   
-  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);
diff --git a/examples/msg/mc/bugged2.c b/examples/msg/mc/bugged2.c
index 28ef0f7a5f..f703ec88b2 100644
--- 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[])
 {
-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);
 
   MSG_create_environment("platform.xml");
 
diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c
index 5a2dd19e80..25a35ca482 100644
--- 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); 
   
-  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);
diff --git a/examples/msg/mc/bugged3.c b/examples/msg/mc/bugged3.c
index 0a21025cce..9e7bdfc514 100644
--- 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[])
 {
-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);
 
   MSG_create_environment("platform.xml");
 
diff --git a/examples/msg/mc/centralized_liveness.c b/examples/msg/mc/centralized_liveness.c
index 395d4c2814..c78c2673cf 100644
--- 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); 
   
-  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);
diff --git a/examples/msg/mc/centralized_liveness_deadlock.c b/examples/msg/mc/centralized_liveness_deadlock.c
index d73624fea8..3c02d517a2 100644
--- 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); 
   
-  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);
diff --git a/examples/msg/mc/centralized_mutex.c b/examples/msg/mc/centralized_mutex.c
index 5cfb74f409..7e50729c18 100644
--- 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[])
 {
-  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);
diff --git a/examples/msg/mc/random_test.c b/examples/msg/mc/random_test.c
index 9dda26d5f8..8814bdfcb8 100644
--- 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[])
 {
-  MSG_global_init(&argc, argv);
+  MSG_init(&argc, argv);
 
   MSG_create_environment("platform.xml");
 
diff --git a/examples/msg/mc/test_snapshot.c b/examples/msg/mc/test_snapshot.c
index 13ca8d00fd..77260db0bc 100644
--- 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); 
   
-  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);