From cfbcbb33437af392cea2a5092d89cfed47506b75 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 18 Mar 2013 19:23:21 -0700 Subject: [PATCH] model: note how we support seq-cst fences --- model.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/model.cc b/model.cc index d9ff365..3ed2fb2 100644 --- a/model.cc +++ b/model.cc @@ -1128,6 +1128,7 @@ bool ModelChecker::process_fence(ModelAction *curr) * use in later synchronization * fence-acquire (this function): search for hypothetical release * sequences + * fence-seq-cst: MO constraints formed in {r,w}_modification_order */ bool updated = false; if (curr->is_acquire()) { -- 2.34.1