model-checker : clean debug information in bugged1_liveness example

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 363511f..3353af2 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,10 @@
+                    _               _____ ___
+__   _____ _ __ ___(_) ___  _ __   |___ // _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ (_) |
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) \__, |
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)/_/
+
+(to complete)
                     _               _____  ___   _
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ ) / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \ | |