On Wed, 29 Mar 2023 18:50:27 GMT, Eirik Bjorsnos <d...@openjdk.org> wrote:
>> Seems my dev environment has `jtreg` < 7. Maybe that's a problem? > > Seems junit 5 support is a recent effort? > > https://mail.openjdk.org/pipermail/jdk-dev/2022-August/006869.html Scratch that. It seems my IDE was just not being very cooperative in suggesting or finding JUnit 5 API. When I wrote the imports myself it seems to have improved its behaviour. Do you think it looks better now, @dfuch ? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/12563#discussion_r1152369091
