Set silver submodule to feefe84d60121fd574318ebd62d338d3fde64c5a [ski… · viper-admin/silicon@1ef454c

Commit

Set silver submodule to feefe84d60121fd574318ebd62d338d3fde64c5a [ski…

…p ci]

Silver Bot committed Nov 10, 2023

1 parent 829142e commit 1ef454c

+17 −3		src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala
+12 −1		src/main/scala/viper/silver/ast/utility/Triggers.scala
+17 −0		src/main/scala/viper/silver/plugin/standard/termination/transformation/ExpTransformer.scala
+2 −2		src/main/scala/viper/silver/plugin/standard/termination/transformation/FunctionCheck.scala
+89 −0		src/test/resources/all/issues/silicon/0768.vpr
+61 −0		src/test/resources/all/issues/silicon/0773.vpr
+26 −0		src/test/resources/all/issues/silver/0751.vpr