| 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_LoggingMetricsWithNoSeverity.html |
| Author: | genie.ocl |
| Total number of evaluated constraints: | 1 |
| Number of Success: | 1 |
| Number of Infos: | 0 |
| Number of Warnings: | 0 |
| Number of Errors: | 0 |
| Number of Failures: | 0 |
No log to display: models has been successfully validated.