We need a simple builder to express network partitions easily (e.g., for checking quorum properties). Should simply include specifying a set[address] for each partition and two network models as parameters for inter and cross partition network boundaries to keep it simple
We need a simple builder to express network partitions easily (e.g., for checking quorum properties). Should simply include specifying a set[address] for each partition and two network models as parameters for inter and cross partition network boundaries to keep it simple