From 1e804494c5edf17d31ed1afb7399b8d5b6cc2371 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 12 Mar 2025 23:35:32 +0100
Subject: [PATCH] CHANGES.

---
 CHANGES.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 7c5cffd..530186a 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -25,8 +25,10 @@
   which under infrequent circumstances could appear,
   has been eliminated.
 
-* Improve Monolith's own `make test` so that it runs reliably in about 20
-  seconds (wall clock time) on a modern machine.
+* `Makefile.monolith`: change `make unattended` to use random testing mode
+  instead of AFL mode and to stop after `TIMEOUT` seconds or `MAX` failure
+  scenarios have been reached. As a result, Monolith's own `make test` now
+  runs reliably in about 20 seconds (wall clock time) on a modern machine.
 
 ## 2024/11/26
 
-- 
GitLab