Test Report

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

Generated Report
 

Details

Trace: testbench.utt2

States Transitions Nondeterminism Traversal Failures
6/6 (local/total) 12/12 (local/total) 0/12 (transitions) 12 (transitions), 0 (seconds) ?