index.html

The overview report shows all tests using AllInterleavings. It displays the name assigned when the AllInterleavings object was created, as well as the number of runs performed and the test result. Click on the link in the name to see the trace of a test run.:

The overview report has the following columns:

Column Name	Description
#	A sequential number
Name	The name, given in the AllInterleavings constructor. Click on the link to see a trace of the test run. Either a data race trace when the test had a data race or an execution trace or execution summary depending on the number of synchronization actions
Count	The number of iterations executed
Result	The result of the test run.