==== GENERAL INFORMATION ====
Output file name: /jobs/genie.ocl/ocl-neon-master/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.validity.test/bin/org/eclipse/ocl/examples/validity/test//testTEXTExport_LoggingMetricsWithErrorSeverity.txt
Author: genie.ocl


==== RESOURCES USED ====
Model checked: 
				platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ecore
				platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecoreTest2.ecore
				platform:/plugin/org.eclipse.ocl.examples.validity.test/model/validityModelTest.ecoretest


==== METRICS ====
Total number of evaluated constraints: 4
- Number of Success: 1
- Number of Infos: 1
- Number of Warnings: 1
- Number of Errors: 1
- Number of Failures: 0


==== LOGS ====
- Informations:
			 Resource: platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecore.ocl
			 Invariant: eattribute_constraint
			 Expression: eattribute_constraint : Tuple{ status: Boolean = false, severity: Integer = -1, message : String = 'eattribute_constraint: Number of attributes: ' + self.oclContainer().oclContents()->size().toString() }.status
			 Severity: INFO
			 Message: null diagnostic message
				-------------
- Warnings:
- Errors:
