Skip to content

WIP: support for user-provided invariants

Raphaël Proust requested to merge support-user-invariants into master

Trying some possible solutions for #9 (closed)

Merge request reports