Prototype loop transition invariant validation - #2305

Prototype loop transition invariant validation#2305

sim642 wants to merge 16 commits into

yaml-witness-2.1-transitiongoblint/analyzer:yaml-witness-2.1-transitionfrom

yaml-witness-2.1-transition-validategoblint/analyzer:yaml-witness-2.1-transition-validateCopy head branch name to clipboard