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_LoggingMetricsWithNoSeverity.html
Author: genie.ocl

2. RESOURCES USED

2.1. Model checked


3. METRICS

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

4. LOGS

No log to display: models has been successfully validated.