4 Commits

Author	SHA1	Message	Date
Bronek Kozicki	c4c519ec53	Antithesis instrumentation improvements (#5213) ... * Rename ASSERT to XRPL_ASSERT * Upgrade to Anthithesis SDK 0.4.4, and use new 0.4.4 features * automatic cast to bool, like assert * Add instrumentation workflow to verify build with instrumentation enabled	2025-06-19 23:27:49 +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