Set statement: Check assignee for validity #1055
jwiesler
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
4m 26s
formatting
1m 4s
checkstyle_new
1m 41s
pmd
1m 34s
Annotations
3 warnings
|
Deprecated member is still used:
key.core/src/main/java/de/uka/ilkd/key/parser/Location.java#L66
Deprecated member 'fromFileName' is still used
|
|
Field accessed in both 'synchronized' and unsynchronized contexts:
key.core/src/test/java/de/uka/ilkd/key/speclang/SetStatementTest.java#L50
Field `services` is accessed in both synchronized and unsynchronized contexts
|
|
Field accessed in both 'synchronized' and unsynchronized contexts:
key.core/src/test/java/de/uka/ilkd/key/speclang/SetStatementTest.java#L55
Field `jmlIO` is accessed in both synchronized and unsynchronized contexts
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.8 MB |
|