Package bftsmart.tests