Recursive mutex regression tests for creation locksets#1928

michael-schwarz merged 2 commits intogoblint:mastergoblint/analyzer:masterfrom

dabund24:creation-lockset-recursive-mutexdabund24/analyzer:creation-lockset-recursive-mutexCopy head branch name to clipboard