Adding verifications to the test project