Update silver submodule · viperproject/silicon@8989c1e

Commit

Update silver submodule

Browse files

Silver Bot committed Apr 24, 2023

1 parent 0ca4350 commit 8989c1e

+1 −0		src/main/scala/viper/silver/ast/Program.scala
+3 −0		src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala
+4 −0		src/test/resources/all/permission_introspection/forpermCheck.vpr
+25 −0		src/test/resources/termination/methods/basic/someTypes.vpr