Tyler Neely acc655f4fd Model-based testing of simulated full cluster (#584) ...

This PR adds support for generating randomized workloads that will be executed
against a simulated cluster, as well as against a correctness model. Initially
this just generates ScanAll and CreateVertex requests, and anything that it
creates, it also inserts into a `std::set`, and when we do a ScanAll, it asserts
that we get the same number of requests back. This will become much more
sophisticated over time, but it's already hitting pay-dirt.

2022-10-24 19:54:09 +02:00

7.2 KiB

Raw Blame History

View Raw