Report for Ocarina run 20121108-010300

Test Info

Tests Started At 08-Nov-2012 01:03:01
Tests Finished At 08-Nov-2012 01:03:22
Operating System Debian GNU/Linux 6.0 \n \l

Tests executed

 Ocarina
      /AADL-CTS Failures: 2 Passed: 27
      /po-hi-c Success Passed: 13
      /taste Success Passed: 45

Ocarina:/AADL-CTS  

Problem Summary

Click on lines in the table to see the details about each problem.

Test NameSeverityFailure
/04-Examples/04_2/Aircraft_Cockpit_4_2 failed RESULT is 'INVALID' instead of 'VALID'
/04-Examples/04_5_2/Redundancy_4_5_2 failed RESULT is 'INVALID' instead of 'VALID'

Ocarina:/po-hi-c  

Problem Summary

No problems were detected.


Ocarina:/taste  

Problem Summary

No problems were detected.