Code

Magic wand#760

Code

Merged

pieter-bos merged 2 commits intoastutwente-fmt/vercors:astfrom magicWandutwente-fmt/vercors:magicWandCopy head branch name to clipboardAug 4, 2022

+419-274

Commits

Commits on Jul 4, 2022

• problem in viper with exceptions in proof blocks jumping out of the proof which cannot really happen

  

  naum_tomov

  committed
  2a2c291

Commits on Jul 5, 2022

• added some test, gave up on making ListIterator.java example work for now, due to limitations of using footprint

  Show description for 67562f9
  

  naum_tomov

  committed
  67562f9