4 Commits

Author	SHA1	Message	Date
Bronek Kozicki	8b9ce5f60d	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	2026-02-20 08:05:47 +09:00
Bronek Kozicki	01c1f87eca	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	2026-02-20 08:02:59 +09:00
Bronek Kozicki	c8d7f35a59	Fix potential deadlock (#5124) ... * 2.2.2 changed functions acquireAsync and NetworkOPsImp::recvValidation to add an item to a collection under lock, unlock, do some work, then lock again to do remove the item. It will deadlock if an exception is thrown while adding the item - before unlocking. * Replace ScopedUnlock with scope_unlock.	2026-02-20 07:56:24 +09:00
Pretty Printer	bfafa2bb39	Rearrange sources	2026-02-20 07:11:12 +09:00