Skipped

dog

semigroupInstance

TestResult ValidationResult

skip

NotPassedCause TestCaseApSyntax