int r, cs;
-static int predR(){
- return r;
-}
-
-static int predCS(){
- return cs;
-}
-
-
int main(int argc, char **argv){
int err, size, rank;
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 */
- err = MPI_Comm_size(MPI_COMM_WORLD, &size);
+ MPI_Comm_size(MPI_COMM_WORLD, &size);
/* 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){