==== 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/testTEXTExport_Statistics.txt
Author: jenkins


==== RESOURCES USED ====
Model checked: 
				file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ecore
				file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecoreTest2.ecore
				file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/validityModelTest.ecoretest


==== METRICS ====
Total number of evaluated constraints: 153
- Number of Success: 145
- Number of Infos: 2
- Number of Warnings: 2
- Number of Errors: 2
- Number of Failures: 2


==== LOGS ====
- Informations:
			 Resource: file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ocl
			 Invariant: eclass2_constraint
			 Expression: eclass2_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'ecoreTest: eclass2_constraint '+self.toString() }.status
			 Severity: INFO
			 Message: null diagnostic message
				-------------
			 Resource: file:/home/jenkins/agent/workspace/ocl-master/tests/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:
			 Resource: file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ocl
			 Invariant: eclass1_constraint
			 Expression: eclass1_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'ecoreTest: eclass1_constraint '+self.toString() }.status
			 Severity: ERROR
			 Message: null diagnostic message
				-------------
			 Resource: file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecore.ocl
			 Invariant: epackage_constraint_2
			 Expression: epackage_constraint_2 : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'epackage_constraint_2: Number of eClasses: ' + self.oclContents()->size().toString() }.status
			 Severity: ERROR
			 Message: null diagnostic message
				-------------
- Failures:
			 Resource: file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecore.ocl
			 Invariant: epackage_constraint
			 Expression: epackage_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'epackage_constraint: Number of eClasses: ' + self.oclContents()->size().toString() }.status
			 Severity: FATAL
			 Message: null diagnostic message
				-------------
			 Resource: file:/home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/model/ecore.ocl
			 Invariant: eclass_constraint
			 Expression: eclass_constraint : Tuple{ status: Boolean = true, severity: Integer = -1, message : String = 'eclass_constraint: Number of eClasses: ' + self.ePackage?.oclContents()?->size().toString() }.status
			 Severity: FATAL
			 Message: null diagnostic message
				-------------
