Pekka Enberg
7c70e8274f
antithesis: Run experiments for 8 hours
...
Eric from Antithesis pointed out that we can still find more states by
running for longer, so let's try that.
2025-07-10 19:37:45 +03:00
Pekka Enberg
9e92325bad
antithesis: Make experiments run for longer
...
...increases probability of Antithesis finding interesting things.
2025-07-03 15:58:49 +03:00
Pekka Enberg
662615a7ad
antithesis: Fix endpoint name too
...
Spotted by Eric Dinh from Antithesis.
2025-06-26 21:28:10 +03:00
Pekka Enberg
9620c0cd8b
antithesis: Fix experiment duration parameter for launch.sh
...
The endpoint changed on Antithesis side to avoid the complaint about not
joining a network so let's adjust the script.
2025-06-26 20:28:58 +03:00
Pekka Enberg
6c8aa4e043
antithesis: Run experiment for 60 minutes
2025-06-24 14:16:09 +03:00
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
