Yannick Welsch d42f422258 Add linearizability checker for coordination layer (#36943) ... Checks that the core coordination algorithm implemented as part of Zen2 (#32006) supports linearizable semantics. This commit adds a linearizability checker based on the Wing and Gong graph search algorithm with support for compositional checking and activates these checks for all CoordinatorTests.		2019-02-26 08:26:55 +01:00
..
licenses	Upgrade to lucene-8.0.0-snapshot-83f9835. (#37668)	2019-01-22 11:44:29 +01:00
src	Add linearizability checker for coordination layer (#36943)	2019-02-26 08:26:55 +01:00
build.gradle	Add an alias for :server:integTest so it runs as part of internalClusterTest (#37910)	2019-01-28 14:26:22 +02:00