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_LoggingMetricsWithFailureSeverity.html
Author: jenkins

2. RESOURCES USED

2.1. Model checked


3. METRICS

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

4. LOGS

4.1. Infos

Resource Invariant Expression Severity Message
Resource: ecore.ocl eattribute_constraint eattribute_constraint : Tuple{ status: Boolean = false, severity: Integer = -1, message : String = 'eattribute_constraint: Number of attributes: ' + self.oclContainer()?.oclContents()?->size().toString() }.status INFO null diagnostic message

4.2. Warnings

Resource Invariant Expression Severity Message

4.3. Errors

Resource Invariant Expression Severity Message

4.4. Failures

Resource Invariant Expression Severity Message