IsMultiple in MallocWrapper: Check uniqueness of allocating(!) thread#1720

michael-schwarz merged 1 commit intomastergoblint/analyzer:masterfrom

issue_1719goblint/analyzer:issue_1719Copy head branch name to clipboard