Overview Report

The overview report shows all tests using AllInterleavings:

#

A sequential number

Name

The name, given in the AllInterleavings constructor. Click on the link to see the Run Report.

Count

The thread interleavings count.

Result

The result of the test run. Either

Success

Everything was o.k.

Data Race

The test contains a data race. The Run Report shows where the data race happened.

Failure

An exception was thrown inside the test. The run in which the exception was thrown is shown in the Run Report.