diff options
Diffstat (limited to 'tools/memory-model/lock.cat')
| -rw-r--r-- | tools/memory-model/lock.cat | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tools/memory-model/lock.cat b/tools/memory-model/lock.cat index 305ded17e741..6b52f365d73a 100644 --- a/tools/memory-model/lock.cat +++ b/tools/memory-model/lock.cat @@ -6,15 +6,12 @@ (* * Generate coherence orders and handle lock operations - * - * Warning: spin_is_locked() crashes herd7 versions strictly before 7.48. - * spin_is_locked() is functional from herd7 version 7.49. *) include "cross.cat" (* - * The lock-related events generated by herd are as follows: + * The lock-related events generated by herd7 are as follows: * * LKR Lock-Read: the read part of a spin_lock() or successful * spin_trylock() read-modify-write event pair |
