A framework for distributed systems verification, with fault injection
$ luarocks install --server=https://luarocks.org/dev molly
root