We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fcd0059 commit 79a1ca3Copy full SHA for 79a1ca3
c/misra/src/rules/RULE-13-2/UnsequencedAtomicReads.ql
@@ -1,6 +1,6 @@
1
/**
2
* @id c/misra/unsequenced-atomic-reads
3
- * @name RULE-13-2: The value of an atomic variable depend on its evaluation order and interleave of threads
+ * @name RULE-13-2: The value of an atomic variable shall not depend on the evaluation order of interleaved threads
4
* @description The value of an atomic variable shall not depend on evaluation order and
5
* interleaving of threads.
6
* @kind problem
0 commit comments