src/

To boot up MinPaxos, run ./bareminrun.sh

The other shell scripts were designed to test different functionalities of MinPaxas such as killing and reviving servers, changing leadership, and testing latency vs. throughput.

These scripts have not been consolidated to a single testing script