Skip to content

Improving LIV with some new functionality

Marian Lingsch requested to merge improving-liv into main

Added functionality to:

  1. Support for loops
  2. Support type definitions
  3. Allow for missing invariants in the witness

Merge request reports