search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
46 stars 25 forks source link

Regression test for #1717 #3334

Closed FliegendeWurst closed 1 year ago

FliegendeWurst commented 1 year ago

This PR targets #3231