| testSwitchPatternMatchingPreview3Aspect() |  | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| testRecordPatternsPreview1Error() | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| testSwitchPatternMatchingPreview4Java() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| testRecordPatternsPreview1ExhaustivenessOK1() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| testRecordPatternsPreview1ExhaustivenessAspect() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| Java20PreviewFeaturesTests() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSwitchPatternMatchingPreview4Error() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSwitchPatternMatchingCaseLabelDominatedByPrecedingError() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSwitchPatternMatchingPreview3Error1() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSwitchPatternMatchingPreview3Error2() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testRecordPatternsPreview1OK() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testRecordPatternsPreview1Aspect() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testRecordPatternsPreview1ExhaustivenessError() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testRecordPatternsPreview1ExhaustivenessOK2() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getSpecFile() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| suite() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |