Validate: TestSuite improved and extended.
New service added to IvalidateService: getAllViolations().