==== 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_ModelsValidatedSuccessfully.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: 0
- Number of Success: 0
- Number of Infos: 0
- Number of Warnings: 0
- Number of Errors: 0
- Number of Failures: 0


==== LOGS ====
No log to display: models has been successfully validated.
