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
..
messages.hpp	Transport prototype (#466)	2022-08-12 08:24:32 +02:00
query_storage_test.cpp	Model-based testing of simulated full cluster (#584)	2022-10-24 19:54:09 +02:00