We’ve explored multiple tools for smart contract testing.We have found a couple of minor bugs in the Fairpool contract. We’re glad we’ve found them early, before any major deployment.We got an idea for a new kind of testing framework: the one that generates simplified versions of a contract that match the behavior of a full contract under specific conditions. We’ve decided not to implement it for Fairpool - instead we’ll use the existing tools to finish it quicker.