Commit de056d6
Silver Bot
Update silver submodule
1 parent ab0f9c1 commit de056d6
1 file changed
Lines changed: 1 addition & 1 deletion
- src/main/scala/viper/silver/ast/Expression.scala+2-2
- src/main/scala/viper/silver/ast/utility/Consistency.scala+2-2
- src/main/scala/viper/silver/ast/utility/Expressions.scala+17
- src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala+12-3
- src/main/scala/viper/silver/ast/utility/Triggers.scala+8-3
- src/test/resources/all/issues/carbon/0406.vpr+3
- src/test/resources/all/issues/carbon/0422.vpr+3
- src/test/resources/all/issues/carbon/0489.vpr+13
- src/test/scala/ConsistencyTests.scala+5
0 commit comments