ARCHIVE/xahaud
3
0
Fork 0
mirror of https://github.com/Xahau/xahaud.git synced 2025-12-06 17:27:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
14,086 Commits 151 Branches 15 Tags
nd-link-to-boost-2025-06-27
Commit Graph

2 Commits

Author SHA1 Message Date
Bronek Kozicki
0fa542f672 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
16b3221f80 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