Test Report

Generated: Fri Jun 24 18:50:45 MSD 2011

Generated Report
 

Overview

Name Value
Number of computers 1
Coverage 14 / 16, 2 / 2, 26 / 32
States 6
Transitions 12
Nondeterminism in 0 transitions
Failures 0
Time 0 seconds