1. GENERAL INFORMATION

Output file name: /home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/target/classes/org/eclipse/ocl/examples/validity/test/testHTMLExport_ProducesOneLogHeading.html
Author: jenkins

2. RESOURCES USED

2.1. Model checked


3. METRICS

Total number of evaluated constraints: 1
Number of Success: 0
Number of Infos: 0
Number of Warnings: 0
Number of Errors: 0
Number of Failures: 1

4. LOGS

4.1. Failures

Resource Invariant Expression Severity Message
Resource: ecore.ocl eclass_constraint eclass_constraint : Tuple{ status: Boolean = true, severity: Integer = -1, message : String = 'eclass_constraint: Number of eClasses: ' + self.ePackage?.oclContents()?->size().toString() }.status FATAL null diagnostic message