Hi, Maroc, it's me again. Yin Yuan from SCU, China.
I find a bug in libpaxos-src-rev-23.
In file multicase_recv.c, line 69: free(w);
In the function: multicast_msg * dequeue_message(multicast_receiver* receiver), there is no malloc for w, so free w will case a bug.