X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.cc;h=9427c7d204e4a8e3a509f7cda437c7c67439e58f;hp=486e89ee54aaddc8ea302c64b3a1eccef786a28c;hb=5cd52219ebdf8ecf620f028a7639c6c31ad17df4;hpb=da1e23074c6f5712e617151a110e80078492d413 diff --git a/action.cc b/action.cc index 486e89ee..9427c7d2 100644 --- a/action.cc +++ b/action.cc @@ -156,6 +156,11 @@ bool ModelAction::is_initialization() const return type == ATOMIC_INIT; } +bool ModelAction::is_relaxed() const +{ + return order == std::memory_order_relaxed; +} + bool ModelAction::is_acquire() const { switch (order) {