Set statement: Check assignee for validity #1977
Annotations
2 warnings
|
key.core/src/test/java/de/uka/ilkd/key/speclang/SetStatementTest.java#L53
Field `services` is accessed in both synchronized and unsynchronized contexts
|
|
key.core/src/test/java/de/uka/ilkd/key/speclang/SetStatementTest.java#L58
Field `jmlIO` is accessed in both synchronized and unsynchronized contexts
|
The logs for this run have expired and are no longer available.
Loading