Updated silver reference to have updates test annotations and triggers · viperproject/silicon@4b8306c

Commit

Updated silver reference to have updates test annotations and triggers

Browse files

marcoeilers committed Apr 20, 2023

1 parent 9ba5a0e commit 4b8306c

+2 −0		src/main/scala/viper/silver/ast/utility/Triggers.scala
+0 −1		src/test/resources/all/issues/silicon/0509.vpr
+1 −2		src/test/resources/examples/quickselect/arrays_quickselect_rec.vpr
+1 −1		src/test/resources/examples/quickselect/arrays_quickselect_rec_index-shifting.vpr
+1 −2		src/test/resources/examples/vmcai2016/arraylist-quantified-permissions.vpr