stainless2 (cargo): Organized, flexible testing framework.
Keywords: bdd|testing|tdd