Commit f7e0a9a
- src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala+1-1
- src/main/scala/viper/silver/plugin/standard/termination/transformation/FunctionCheck.scala+66-3
- src/main/scala/viper/silver/plugin/standard/termination/transformation/Trafo.scala+3-2
- src/test/resources/termination/functions/basic/permission_issues.vpr+89
- src/test/resources/termination/functions/expressions/access.vpr+1
0 commit comments