From f418b00dc200772d4fa0e16ead0e181602792afd Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Tue, 24 Dec 2024 21:35:11 +0100 Subject: [PATCH] Document pthread barriers --- src/goblint_lib.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml index 415fb21605..b63d804a2f 100644 --- a/src/goblint_lib.ml +++ b/src/goblint_lib.ml @@ -129,6 +129,7 @@ module BasePriv = BasePriv module RelationPriv = RelationPriv module ThreadEscape = ThreadEscape module PthreadSignals = PthreadSignals +module PthreadBarriers = PthreadBarriers module ExtractPthread = ExtractPthread (** {2 Longjmp}