Set silver submodule to 5f5c02202030b67c0cf90d8540d26ca3d71c9bd6 [ski… · viper-admin/silicon@cf048dc

Commit

Set silver submodule to 5f5c02202030b67c0cf90d8540d26ca3d71c9bd6 [ski…

…p ci]

Silver Bot committed Nov 13, 2024

1 parent 26091b7 commit cf048dc

+5 −0		src/main/scala/viper/silver/ast/Expression.scala
+2 −0		src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala
+4 −1		src/main/scala/viper/silver/ast/utility/Expressions.scala
+1 −0		src/main/scala/viper/silver/ast/utility/Nodes.scala
+7 −2		src/main/scala/viper/silver/parser/FastParser.scala
+6 −0		src/main/scala/viper/silver/parser/ParseAst.scala
+2 −0		src/main/scala/viper/silver/parser/ParseAstKeyword.scala
+2 −0		src/main/scala/viper/silver/parser/Translator.scala
+38 −0		src/test/resources/all/asserting/function.vpr
+19 −0		src/test/resources/all/asserting/other-fail.vpr
+44 −0		src/test/resources/all/asserting/qp.vpr
+73 −0		src/test/resources/all/asserting/simple-fail.vpr
+22 −0		src/test/resources/all/asserting/trigger.vpr
+17 −0		src/test/resources/all/asserting/wand.vpr