Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add a message to explain no property violation is found
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Jun 2015 12:33:26 +0000 (14:33 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Jun 2015 12:33:26 +0000 (14:33 +0200)
src/mc/mc_liveness.cpp
src/mc/mc_safety.cpp

index 123352e..927692d 100644 (file)
@@ -393,6 +393,7 @@ void MC_modelcheck_liveness(void)
   MC_pre_modelcheck_liveness();
 
   /* We're done */
   MC_pre_modelcheck_liveness();
 
   /* We're done */
+  XBT_INFO("No property violation found.");
   MC_print_statistics(mc_stats);
   xbt_free(mc_time);
 }
   MC_print_statistics(mc_stats);
   xbt_free(mc_time);
 }
index 2e89053..d5fd9ba 100644 (file)
@@ -246,6 +246,7 @@ static void MC_modelcheck_safety_main(void)
       }
     }
   }
       }
     }
   }
+  XBT_INFO("No property violation found.");
   MC_print_statistics(mc_stats);
   return;
 }
   MC_print_statistics(mc_stats);
   return;
 }