Updated silver version · viperproject/silicon@987be74

Commit

Updated silver version

Browse files

marcoeilers committed Oct 4, 2023

1 parent 904f7ae commit 987be74

+6 −3		src/main/scala/viper/silver/ast/utility/DomainInstances.scala
+8 −0		src/main/scala/viper/silver/verifier/VerificationError.scala
+17 −0		src/test/resources/all/issues/silicon/0751.vpr
+88 −0		src/test/resources/all/issues/silicon/0753.vpr
+47 −0		src/test/resources/all/issues/silver/0444.vpr
+0 −1		src/test/resources/termination/functions/basic/allTypes.vpr