jbajic 221b273472 Fix tests

2023-01-31 14:53:47 +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

Fix tests

2023-01-31 14:53:47 +01: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

Fix tests compilation errors

2023-01-30 22:02:45 +01:00

shard_rsm.cpp

Fix messages errors

2023-01-30 22:55:08 +01:00

sharded_map.cpp

Fix messages errors

2023-01-30 22:55:08 +01: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