Pekka Enberg be4014a1df Initial pass on Antithesis testing ... This adds a "limbo_stress" tool for stress testing Limbo in non-deterministic way together with support code to run the tests under Antithesis (which makes them deterministic). The stress tester does not really do anything useful yet, this is just a step to make sure we can run tests under Antithesis.		2025-03-04 09:29:57 +02:00
..
Cargo.toml	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00
docker-compose.yaml	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00
docker-entrypoint.sh	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00
Dockerfile.antithesis-config	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00
libvoidstar.so	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00
main.rs	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00
opts.rs	Initial pass on Antithesis testing	2025-03-04 09:29:57 +02:00