acc655f4fd
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. |
||
---|---|---|
.. | ||
benchmark | ||
concurrent | ||
drivers | ||
e2e | ||
gql_behave | ||
integration | ||
jepsen | ||
macro_benchmark | ||
manual | ||
mgbench | ||
property_based | ||
public_benchmark | ||
simulation | ||
stress | ||
unit | ||
.clang-tidy | ||
client-stress.sh | ||
CMakeLists.txt | ||
setup.sh |