Prototype loop transition invariant generation#1849

sim642 wants to merge 1 commit intomastergoblint/analyzer:masterfrom

yaml-witness-2.1-transitiongoblint/analyzer:yaml-witness-2.1-transitionCopy head branch name to clipboard