Modify Library Function Specification for assert to not dereference its argument#781

michael-schwarz merged 4 commits intomastergoblint/analyzer:masterfrom

issue_765goblint/analyzer:issue_765Copy head branch name to clipboard