ligurio/molly

Framework for distributed system's verification, with fault injection.

语言：Lua · GitHub 星标：9 · Fork：1

话题：consistency · correctness · fault-injection · jepsen · linearizability · lua · serializable

在 GitHub 上查看原仓库