Add client_stats to OnDiskJSONMonitor (AFLplusplus#2181)

riesentoaster · May 24, 2024 · 231d04e · 231d04e
1 parent 46df291
commit 231d04e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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");
  }