Add constraint on upper version of Goblint#3

edwintorok merged 1 commit intoedwintorok:mainedwintorok/lintcstubs:mainfrom

Leonidas-from-XIV:goblint-constraintLeonidas-from-XIV/lintcstubs:goblint-constraintCopy head branch name to clipboard