SIGN IN SIGN UP

feat: improve integration with Antithesis environment and fuzzer (#257)

* Improvements to Docker image, using dynamic linking and dlopen to
integrate with libvoidstar
* Using assertions in the Antithesis SDK for properties
* Report edge hits using libvoidstar
* Disregarding action tree weights when picking actions inside
Antithesis
O
Oskar Wickström committed
0ad57e9d99233f2e88c77f4bb161eb6e9f7da289
Parent: ee3ec4d
Committed by GitHub <noreply@github.com> on 8/5/2026, 2:34:26 PM