search

jepsen-io / jepsen

A framework for distributed systems verification, with fault injection
6.68k stars 710 forks source link

Add "import" to "Checking Correctness" page #523

Closed ajdavis closed 2 years ago

ajdavis commented 2 years ago

Fixes #520

aphyr commented 2 years ago

Thank you!