1. GENERAL INFORMATION

Output file name: /jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.validity.test/bin/org/eclipse/ocl/examples/validity/test//testHTMLExport_LoggingMetricsWithFailureSeverity.html
Author: genie.ocl

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