Added test for verifyExamples