gvolfing 54c1efab7f Merge branch 'project-pineapples' into 'T1165-MG-add-property-based-high-level-query-test'		2023-01-25 13:40:16 +01:00
..
trial_query_storage	Model-based testing of simulated full cluster (#584)	2022-10-24 19:54:09 +02:00
basic_request.cpp	Make TestAddress deterministically sortable	2022-11-17 21:22:41 +00:00
cluster_config.hpp	Model-based testing of simulated full cluster (#584)	2022-10-24 19:54:09 +02:00
cluster_property_test_cypher_queries.cpp	Apply suggestions from code review	2023-01-24 15:59:50 +01:00
cluster_property_test.cpp	Significantly improve the determinism of the coordinator, UUID generation, the machine manager, the shard manager, and the cluster property test	2022-11-18 16:42:18 +00:00
CMakeLists.txt	Merge branch 'project-pineapples' into T1165-MG-add-property-based-high-level-query-test	2022-12-15 17:21:39 +01:00
common.hpp	Merge branch 'T0919-MG-implement-get-properties-storage' into T1172-MG-implement-get-properties-on-qe	2022-12-01 17:19:00 +02:00
generated_operations.hpp	Model-based testing of simulated full cluster (#584)	2022-10-24 19:54:09 +02:00
raft.cpp	Do not advance the clock with every message, as this prevents messages of a certain request depth from ever completing	2022-11-22 16:00:06 +00:00
request_router.cpp	General clean-up	2023-01-16 14:54:20 +01:00
shard_rsm.cpp	Conform simulation to test GetProperties correctly	2023-01-16 14:05:13 +01:00
sharded_map.cpp	Rename coordinator::Shard to coordinator::ShardMetadata to avoid conflation with storage::v3::Shard	2022-12-12 15:22:17 +00:00
simulation_interpreter.hpp	Make the use RequestRouter more restricted	2023-01-25 07:02:03 +01:00
test_cluster.hpp	Fix hanging conditionvariable	2023-01-18 16:03:34 +01:00
testing_constants.hpp	Model-based testing of simulated full cluster (#584)	2022-10-24 19:54:09 +02:00