Add client_stats to OnDiskJSONMonitor (#2181)

This commit is contained in:
Sönke 2024-05-15 01:54:27 +02:00 committed by GitHub
parent b127f0579d
commit e14eb26e8b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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");
}