Thomas Eizinger 489a14a0ed test(connlib): directly sample from state instead of indexing (#5332) ...

Currently, we use `sample::Index` and `sample::Selector` to
deterministically select parts of our state. Originally, this was done
because I did not yet fully understand, how `proptest-state-machine`
works.

The available transitions are always sampled from the current state,
meaning we can directly use `sample::select` to pick an element like an
IP address from a list. This has several advantages:

- The transitions are more readable when debug-printed because they now
contain the actual data that is being used.
- I _think_ this results in better shrinking because `sample::select`
will perform a binary search for the problematic value.
- We can more easily implement transitions that _remove_ state.
Currently, we cannot remove things from the `ReferenceState` because the
system-under-test would also have to index into the `ReferenceState` as
part of executing its transition. By directly embedding all necessary
information in the transition, this is much simpler.

2024-06-13 00:07:02 +00:00

..

src

test(connlib): directly sample from state instead of indexing (#5332)

2024-06-13 00:07:02 +00:00

Cargo.toml

build(deps): Bump itertools from 0.12.1 to 0.13.0 in /rust (#5289)

2024-06-12 23:50:55 +00:00