Test case for Paxos
Test cases