log.SECONDS.DAY-MONTH.MESSAGE
+other scripts
+ simulate_casc.sh logfile
+
+ Gives the results of the problems listed in elenco_CASC.txt
+
+ merge_sorted_logs.awk
+
+ Given a file composed by the sorted concatenation of 2 logs
+ returns the one obtaining using the best of duplicate lines
+ (use to merge a log with a successive run on the FAIL problems)
+
+# eof