Merge pull request #474 from goblint/remove-unmaintained

Remove containment, deadlocksByRaces and shapes analyses
goblint · Dec 1, 2021 · 45a25b1 · 45a25b1
2 parents 89c8633 + d329719
commit 45a25b1
Show file tree

Hide file tree

Showing 28 changed files with 12 additions and 9,569 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -2307,7 +2307,7 @@ struct
       | _, v -> VD.show v
     in
     let args_short = List.map short_fun f.sformals in
-    Printable.get_short_list (GU.demangle f.svar.vname ^ "(") ")" args_short
+    Printable.get_short_list (f.svar.vname ^ "(") ")" args_short
 
   let threadenter ctx (lval: lval option) (f: varinfo) (args: exp list): D.t list =
     match Cilfacade.find_varinfo_fundec f with