JML Lemmas and proof scripts in model methods - #3971
Draft
mattulbrich wants to merge 7 commits into
Draft
Annotations
4 errors
|
Running tests: testRunAllInfProofs
Process completed with exit code 1.
|
|
Running tests: testRunAllInfProofs
incompatible types: Services cannot be converted to Goal
|
|
Running tests: testRunAllInfProofs:
key.core/src/main/java/de/uka/ilkd/key/scripts/ObtainCommand.java#L205
incompatible types: Services cannot be converted to Goal
|
|
Running tests: testRunAllInfProofs:
key.core/src/main/java/de/uka/ilkd/key/scripts/UseLemmaCommand.java#L63
incompatible types: Services cannot be converted to Goal
|
background
wait
wait-all
cancel
parallel
Loading