Elle – Transactional consistency checker for black-box databasesgithub.com/jepsen-io2 pointscapableweb6 years ago