New test in silver repository · viperproject/silicon@44ec0fc

Commit

New test in silver repository

Browse files

marcoeilers committed Oct 31, 2023

1 parent afa3f08 commit 44ec0fc

+4 −2		src/main/scala/viper/silver/plugin/standard/predicateinstance/PredicateInstanceErrors.scala
+5 −2		src/main/scala/viper/silver/plugin/standard/refute/RefuteErrors.scala
+8 −6		src/main/scala/viper/silver/plugin/standard/termination/TerminationErrors.scala
+8 −4		src/main/scala/viper/silver/verifier/VerificationError.scala
+296 −0		src/test/resources/all/functions/opaque.vpr
+4 −2		src/test/scala/IOTests.scala