Overview Report

The overview report shows all tests using AllInterleavings:

#

A sequential number

Name

The name, given in the AllInterleavings constructor.

Count

The thread interleavings count.

Result

The result of the test run.