Fix Issue #3186: Model method looses nullability modifiers #1459
unp1
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
code_quality.yml
on: pull_request
qodana
6m 1s
formatting
1m 20s
checkstyle_new
1m 56s
pmd
2m 40s
Annotations
1 error and 2 warnings
|
formatting
Gradle build failed: see console output for details
|
|
Constant conditions & exceptions:
key.core/src/test/java/de/uka/ilkd/key/speclang/njml/MethodlevelTranslatorTest.java#L74
Method invocation `classlevel_comment` may produce `NullPointerException`
|
|
Constant conditions & exceptions:
key.core/src/test/java/de/uka/ilkd/key/speclang/njml/MethodlevelTranslatorTest.java#L120
Method invocation `classlevel_comment` may produce `NullPointerException`
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.8 MB |
|