Marek Siarkowicz
|
96e2a7fbd6
|
tests: Move linearizability model and identity to dedicated packages
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com>
|
2023-01-16 19:16:27 +01:00 |
|
Marek Siarkowicz
|
7b2dfece70
|
tests: Use watch events to patch history to speed up linearization
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com>
|
2023-01-12 09:31:23 +01:00 |
|
Marek Siarkowicz
|
6821e226dd
|
tests: Watch events during linearizability test and compare history
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com>
|
2023-01-10 15:11:23 +01:00 |
|