Consider all spawning functions in autotuner (closes #1181)

goblint · Oct 23, 2024 · b00c608 · b00c608
1 parent 6b77fb3
commit b00c608
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -194,7 +194,7 @@ let reduceThreadAnalyses () =
   let isThreadCreate (desc: LibraryDesc.t) args =
     match desc.special args with
     | LibraryDesc.ThreadCreate _ -> true
-    | _ -> false
+    | _ -> LibraryDesc.Accesses.find_kind desc.accs Spawn args <> []
   in
   let hasThreadCreate = hasFunction isThreadCreate in
   if not @@ hasThreadCreate then (