Update copyright notices

[simgrid.git] / examples / smpi / mc / bugged1_liveness.c

diff --git a/examples/smpi/mc/bugged1_liveness.c b/examples/smpi/mc/bugged1_liveness.c
index 7305370..4897cc7 100644 (file)
--- a/examples/smpi/mc/bugged1_liveness.c
+++ b/examples/smpi/mc/bugged1_liveness.c
@@ -1,4 +1,4 @@
-/* Copyright (c) 2013-2014. The SimGrid Team.
+/* Copyright (c) 2013-2015. The SimGrid Team.

  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it


@@ -23,15 +23,6 @@
 
 int r, cs;
 
 
 int r, cs;
 

-static int predR(){
-  return r;
-}
-
-static int predCS(){
-  return cs;
-}
-
-

 int main(int argc, char **argv){
 
   int err, size, rank;
 int main(int argc, char **argv){
 
   int err, size, rank;


@@ -47,15 +38,15 @@ int main(int argc, char **argv){
     exit(1);
   }
 
     exit(1);
   }
 

-  MC_automaton_new_propositional_symbol("r", &predR);
-  MC_automaton_new_propositional_symbol("cs", &predCS);
+  MC_automaton_new_propositional_symbol_pointer("r", &r);
+  MC_automaton_new_propositional_symbol_pointer("cs", &cs);

 
   MC_ignore(&(status.count), sizeof(status.count));
 
   /* Get number of processes */
 
   MC_ignore(&(status.count), sizeof(status.count));
 
   /* Get number of processes */

-  err = MPI_Comm_size(MPI_COMM_WORLD, &size);
+  MPI_Comm_size(MPI_COMM_WORLD, &size);

   /* Get id of this process */
   /* Get id of this process */

-  err = MPI_Comm_rank(MPI_COMM_WORLD, &rank);
+  MPI_Comm_rank(MPI_COMM_WORLD, &rank);

 
   if(rank == 0){ /* Coordinator */
     while(1){
 
   if(rank == 0){ /* Coordinator */
     while(1){