tests written for FaultTolerancyBuffer