Fix various UI bugs #1114
Annotations
7 warnings
|
key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L71
Empty `catch` block
|
|
key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L69
Call to `Thread.sleep()` in a loop, probably busy-waiting
|
|
key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L101
Call to `Thread.sleep()` in a loop, probably busy-waiting
|
|
key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L107
Call to `Thread.sleep()` in a loop, probably busy-waiting
|
|
key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L189
Call to `Thread.sleep()` in a loop, probably busy-waiting
|
|
key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L68
`while` statement cannot complete without throwing an exception
|
|
key.core/src/main/java/de/uka/ilkd/key/proof/reference/ReferenceSearcher.java#L57
Method invocation `contains` may produce `NullPointerException`
|
The logs for this run have expired and are no longer available.
Loading