key icon indicating copy to clipboard operation
key copied to clipboard
verified publisher icon KeYProject

Removal of JUnit4

Open wadoon opened this issue 1 year ago • 0 comments

This PR removes the remaining traces of JUnit 4 completely from KeY. JUnit 5 offers the same functionalities in a simpler matter, therefore there is no need to keep JUnit 4.

I also updated the recoder module thanks to IntelliJ migration support.

wadoon avatar Apr 21 '24 12:04 wadoon