model-checker : initialize variable

diff --git a/examples/smpi/mc/non_termination4.c b/examples/smpi/mc/non_termination4.c
index 4e03da5..c992b24 100644 (file)
--- a/examples/smpi/mc/non_termination4.c
+++ b/examples/smpi/mc/non_termination4.c
@@ -6,7 +6,7 @@ int x = 20;
 
 int main(int argc, char **argv) {
   
-       int recv_x, size, rank;
+       int recv_x = 1, size, rank;
   MPI_Status status;
 
   MPI_Init(&argc, &argv);