KeYProject/key-docs

Outdated: Deterministic test order

Opened this issue a year ago · 0 comments

FliegendeWurst commented a year ago

This page is no longer relevant since the JUnit 5 upgrade https://keyproject.github.io/key-docs/devel/Testing/deterministicTestOrder/