Commit 4846a2c
committed
- src/main/scala/viper/silver/ast/Expression.scala+2-2
- src/main/scala/viper/silver/ast/utility/Consistency.scala+7
- src/main/scala/viper/silver/ast/utility/Expressions.scala+6-6
- src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala+4-3
- src/main/scala/viper/silver/ast/utility/Triggers.scala+19-10
- src/main/scala/viper/silver/verifier/VerificationError.scala+1-2
- src/test/resources/all/issues/silicon/0554.vpr+81
- src/test/resources/all/issues/silicon/0560a.vpr+146
- src/test/resources/all/issues/silicon/0560b.vpr+129
- src/test/resources/all/issues/silicon/0567.vpr+3
- src/test/resources/all/issues/silicon/0595.vpr+3
- src/test/resources/all/issues/silicon/0601.vpr+3
- src/test/resources/all/issues/silicon/0630.vpr+3
- src/test/resources/all/issues/silicon/0641.vpr+3
- src/test/resources/all/issues/silicon/0648.vpr+32
- src/test/resources/all/issues/silicon/0652.vpr+48
- src/test/resources/all/issues/silver/0207.vpr+1-1
- src/test/scala/ConsistencyTests.scala+8-2
0 commit comments