Draft: Type Modifier Unification #1675

Annotations

10 errors

'src/main/scala/viper/gobra/frontend/info/implementation/typing/base/TypingComponents.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/ghost/GhostModifier.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/ghost/GhostModifierUnit.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/Modifier.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/ModifierUnit.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/owner/OwnerModifier.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/owner/OwnerModifierUnit.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/main/scala/viper/gobra/frontend/info/implementation/typing/ModifierTyping.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'

'src/test/resources/modifiers/invalid_addressability.gobra' does not contain license from '.github/license-check/headers/CC0.txt'

'src/test/resources/modifiers/valid_return.gobra' does not contain license from '.github/license-check/headers/CC0.txt'

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Draft: Type Modifier Unification #1675

check-license-headers

Draft: Type Modifier Unification #1675

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...