Kostas Kyrimis 9621532d3d Prototype suggested changes and polish PR

2022-11-30 14:59:00 +02: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.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

Model-based testing of simulated full cluster (#584)

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

common.hpp

Make ExpandOne work in the query engine (#589)

2022-10-20 11:35: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

shard_request_manager.cpp

Make ExpandOne work in the query engine (#589)

2022-10-20 11:35:00 +02:00

shard_rsm.cpp

Prototype suggested changes and polish PR

2022-11-30 14:59:00 +02:00

sharded_map.cpp

Make ShardRequestManager work with futures (#588)

2022-10-18 09:53:37 +02:00

test_cluster.hpp

Merge branch 'project-pineapples' into T0995-MG-implement-top-error-handling-storage

2022-11-23 02:33:07 -08:00

testing_constants.hpp

Model-based testing of simulated full cluster (#584)

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