Commit c64be11
- src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala+17-3
- src/main/scala/viper/silver/ast/utility/Triggers.scala+12-1
- src/main/scala/viper/silver/plugin/standard/termination/transformation/ExpTransformer.scala+17
- src/main/scala/viper/silver/plugin/standard/termination/transformation/FunctionCheck.scala+2-2
- src/test/resources/all/issues/silicon/0768.vpr+89
- src/test/resources/all/issues/silicon/0773.vpr+61
- src/test/resources/all/issues/silver/0751.vpr+26
- src/test/resources/examples/quickselect/arrays_quickselect_rec.vpr+2
0 commit comments