Provide additional String formating utility method to reduce code duplication #1470
Annotations
4 warnings
|
key.core.rifl/src/main/java/de/uka/ilkd/key/util/rifl/RIFLTransformer.java#L200
`StringBuilder sb` can be replaced with 'String'
|
|
key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/AbstractUpdateExtractor.java#L1504
`StringBuilder sb` can be replaced with 'String'
|
|
key.util/src/test/java/org/key_project/util/StringsTest.java#L64
Call to `asList()` with only one argument
|
|
key.util/src/test/java/org/key_project/util/StringsTest.java#L67
Call to `asList()` to create an empty List
|
The logs for this run have expired and are no longer available.
Loading