4 Commits

Author	SHA1	Message	Date
Mark Travis	bfdaa3a5aa	Log detailed correlated consensus data together (#5302) ... Combine multiple related debug log data points into a single message. Allows quick correlation of events that previously were either not logged or, if logged, strewn across multiple lines, making correlation difficult. The Heartbeat Timer and consensus ledger accept processing each have this capability. Also guarantees that log entries will be written if the node is a validator, regardless of log severity level. Otherwise, the level of these messages is at INFO severity.	2025-06-20 15:30:36 +09:00
Bronek Kozicki	1db3181add	Add Antithesis intrumentation (#5042) ... * Copy Antithesis SDK version 0.4.0 to directory external/ * Add build option `voidstar` to enable instrumentation with Antithesis SDK * Define instrumentation macros ASSERT and UNREACHABLE in terms of regular C assert * Replace asserts with named ASSERT or UNREACHABLE * Add UNREACHABLE to LogicError * Document instrumentation macros in CONTRIBUTING.md	2025-06-19 19:56:21 +09:00
Pretty Printer	a05ee6fc64	Rearrange sources	2025-06-17 10:42:41 +00:00
Pretty Printer	6a643e5fb5	Rearrange sources	2025-06-17 19:16:40 +09:00