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
Files
60a8f3c05b1908373bc9f480b108dfafa9c2f803
xahaud/external/antithesis-sdk
History
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
..
.clang-format
Add Antithesis intrumentation (#5042)
2025-06-19 19:56:21 +09:00
antithesis_instrumentation.h
Add Antithesis intrumentation (#5042)
2025-06-19 19:56:21 +09:00
antithesis_sdk.h
Add Antithesis intrumentation (#5042)
2025-06-19 19:56:21 +09:00
CMakeLists.txt
Add Antithesis intrumentation (#5042)
2025-06-19 19:56:21 +09:00
LICENSE
Add Antithesis intrumentation (#5042)
2025-06-19 19:56:21 +09:00
README.md
Add Antithesis intrumentation (#5042)
2025-06-19 19:56:21 +09:00

README.md

Antithesis C++ SDK

This library provides methods for C++ programs to configure the Antithesis platform. It contains three kinds of functionality:

  • Assertion macros that allow you to define test properties about your software or workload.
  • Randomness functions for requesting both structured and unstructured randomness from the Antithesis platform.
  • Lifecycle functions that inform the Antithesis environment that particular test phases or milestones have been reached.

For general usage guidance see the Antithesis C++ SDK Documentation