From 7a595a1393049e8a3c4832647d1324e29f3f4bf9 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Fri, 25 Oct 2024 15:42:44 +0300 Subject: [PATCH] Update comment about unknown function spawn sync --- src/framework/constraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml index 6aa451cbe4..04959348e1 100644 --- a/src/framework/constraints.ml +++ b/src/framework/constraints.ml @@ -83,7 +83,7 @@ struct (* unknown function *) M.error ~category:Imprecise ~tags:[Category Unsound] "Created a thread from unknown function %s" f.vname; (* actual implementation (e.g. invalidation) is done by threadenter *) - (* must still sync for side effects, e.g. none privatization soundness in 02-base/51-spawn-special *) + (* must still sync for side effects, e.g. old sync-based none privatization soundness in 02-base/51-spawn-special *) let rec sync_ctx = { ctx with ask = (fun (type a) (q: a Queries.t) -> S.query sync_ctx q);