Disable LibraryFunctions.glibc_desc_list coverage

sim642 · sim642 · commit 1fc179d20437 · 2024-02-16T16:11:51.000+02:00
diff --git a/src/util/library/libraryFunctions.ml b/src/util/library/libraryFunctions.ml
@@ -658,6 +658,7 @@ let glibc_desc_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("daemon", unknown [drop "nochdir" []; drop "noclose" []]);
     ("putw", unknown [drop "w" []; drop "stream" [r_deep; w_deep]]);
   ]
+[@@coverage off]
 
 let linux_userspace_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     (* ("prctl", unknown [drop "option" []; drop "arg2" []; drop "arg3" []; drop "arg4" []; drop "arg5" []]); *)

Original file line number	Diff line number	Diff line change
`@@ -658,6 +658,7 @@ let glibc_desc_list: (string * LibraryDesc.t) list = LibraryDsl.[`
`658`	`658`	`("daemon", unknown [drop "nochdir" []; drop "noclose" []]);`
`659`	`659`	`("putw", unknown [drop "w" []; drop "stream" [r_deep; w_deep]]);`
`660`	`660`	`]`
	`661`	`+[@@coverage off]`
`661`	`662`
`662`	`663`	`let linux_userspace_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[`
`663`	`664`	`(* ("prctl", unknown [drop "option" []; drop "arg2" []; drop "arg3" []; drop "arg4" []; drop "arg5" []]); *)`