[mc] Add a message to explain no property violation is found

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index af38a7e..455983d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -32,6 +32,8 @@ SimGrid (3.12) NOT RELEASED; urgency=low
    For example, a communication is a sort of synchronization involving
    the communicating processes (that may block until the exchange) and
    the platform. The same can be said from computations, etc.
+ * Bug fixes:
+   - #18888: segfault when a process ends before its kill_time
    
  SMPI: 
  * New functions