Revision 57d9a7eec61d525376962f61a5677cd532d9a2c4 authored by Marek Siarkowicz on 13 October 2023, 16:12:25 UTC, committed by GitHub on 13 October 2023, 16:12:25 UTC
Refactor and reorder validation to avoid reporting multiple correlated failures
File | Mode | Size |
---|---|---|
identity | ||
model | ||
report | ||
testdata | ||
traffic | ||
validate | ||
README.md | -rw-r--r-- | 5.9 KB |
failpoints.go | -rw-r--r-- | 20.7 KB |
issue14370.png | -rw-r--r-- | 300.6 KB |
linearizability_test.go | -rw-r--r-- | 7.9 KB |
main_test.go | -rw-r--r-- | 774 bytes |
makefile.mk | -rw-r--r-- | 4.6 KB |
watch.go | -rw-r--r-- | 3.8 KB |
Computing file changes ...