A framework for distributed systems verification, with fault injection
Modules
| molly.tests | Module with test generators and checkers. |
| molly.runner | Module with main functions that runs tests. |
| molly.history | Module with functions that processes history of operations. |
| molly.utils | Helpers. |
| molly.op | Module with helpers that processes operations. |
| molly.gen | Module with functions for generators. |
| molly.client | Module with default Molly client. |
| molly | Framework for distributed system's verification, with fault injection. |
| molly.db | Module with default DB implementation. |
| molly.thread_fiber | Module with implementation of threads based on fibers. |
| molly.thread_coroutine | Module with implementation of threads based on coroutines. |
| molly.nemesis | Module with nemeses. |
| molly.thread | Module with thread implementation. |
| molly.log | Module with functions for logging. |
Topics
| README.md |
Examples
| sqlite-rw-register.lua | |
| sqlite-list-append.lua |