Netrix
The testing framework allows developers to test implementation of distributed protocols.
The testing framework can be used to write unit tests, run comprehensive exploration strategy based testing and to visualize the working of a distributed protocol. Before diving in, we recommend that you go through Basic concepts
Getting Started
Netrix acts as a central monitor that can control all the replicas. This requires the developer to change the implementation being tested. See instrumentation to understand the changes that are required. Netrix can be used for: