Report

VMLens creates a html report for all tests using AllInterleavings. If you are using maven the report is written to target/vmlens-report and for gradle to build/vmlens-report.

The index.html shows all AllInterleavings together with the result. From the index.html you can navigate to the Execution Trace for each test run.