Add alphasort library function for concrat/ProcDump-for-Linux

goblint · Oct 9, 2023 · c222508 · c222508
1 parent 9f614eb
commit c222508
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -386,6 +386,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("fsync", unknown [drop "fd" []]);
     ("fdatasync", unknown [drop "fd" []]);
     ("getrusage", unknown [drop "who" []; drop "usage" [w]]);
+    ("alphasort", unknown [drop "a" [r]; drop "b" [r]]);
   ]
 
 (** Pthread functions. *)