From e14eb26e8b4332b1c2871af4128e21177511f095 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6nke?= Date: Wed, 15 May 2024 01:54:27 +0200 Subject: [PATCH] Add client_stats to OnDiskJSONMonitor (#2181) --- libafl/src/monitors/disk.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/libafl/src/monitors/disk.rs b/libafl/src/monitors/disk.rs index 6df195bc63..754700ccaa 100644 --- a/libafl/src/monitors/disk.rs +++ b/libafl/src/monitors/disk.rs @@ -223,6 +223,7 @@ where "objectives": self.base.objective_size(), "executions": self.base.total_execs(), "exec_sec": self.base.execs_per_sec(), + "client_stats": self.client_stats(), }); writeln!(&file, "{line}").expect("Unable to write JSON to file"); }