Merge pull request #421 from viperproject/auto-update-submodules · viperproject/gobra-ide@22865d4

Commit

Merge pull request #421 from viperproject/auto-update-submodules

Update Submodules

ArquintL authored May 22, 2024

2 parents c04a5cc + 4a6f0fe commit 22865d4

+1 −1		src/main/scala/viper/gobra/ast/frontend/Ast.scala
+6 −0		src/main/scala/viper/gobra/frontend/info/implementation/property/UnderlyingType.scala
+17 −2		src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostExprTyping.scala
+3 −3		src/test/resources/regressions/features/arrays/array-length-simple2.gobra
+7 −0		src/test/resources/regressions/features/arrays/array-literal-simple1.gobra
+9 −0		src/test/resources/regressions/features/maps/maps-fail1.gobra
+2 −1		src/test/resources/regressions/features/maps/maps-simple1.gobra
+7 −5		src/test/resources/regressions/features/slices/slice-literal-simple1.gobra
+9 −0		src/test/resources/regressions/features/slices/slice-type-fail1.gobra
+2 −1		src/test/resources/regressions/issues/000129-2.gobra
+2 −2		src/test/scala/viper/gobra/typing/ExprTypingUnitTests.scala