model-checker : update snapshot_comparison tests

[simgrid.git] / examples / msg / mc / test / snapshot_comparison5.c

diff --git a/examples/msg/mc/test/snapshot_comparison5.c b/examples/msg/mc/test/snapshot_comparison5.c
index eef83c8..3078854 100644 (file)
--- a/examples/msg/mc/test/snapshot_comparison5.c
+++ b/examples/msg/mc/test/snapshot_comparison5.c
@@ -44,7 +44,7 @@ int test(int argc, char **argv){
   
   XBT_INFO("**** End test ****");
 
-  return 0;
+  xbt_abort();
 }
 
 int main(int argc, char **argv){