Revive work on Polymorphic Sorts #1971
wadoon
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
2m 45s
formatting
1m 0s
checkstyle_new
1m 20s
pmd
1m 26s
Annotations
1 error, 1 warning, and 1 notice
|
formatting
Gradle build failed: see console output for details
|
|
Unused assignment:
key.core/src/test/java/de/uka/ilkd/key/parser/TestDeclParser.java#L166
The value checkGenericSort(nss.sorts().lookup(new Name("H")), DefaultImmutableSet.nil().add(G), DefaultImmutableSet.nil()) assigned to `H` is never used
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/nparser/builder/DeclarationBuilder.java#L164
Value `name` is always 'null'
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.7 MB |
|