Add futex wakeup spin model

[urcu.git] / formal-model / futex-wakeup / .futex.spin.swp

diff --git a/formal-model/futex-wakeup/.futex.spin.swp b/formal-model/futex-wakeup/.futex.spin.swp
new file mode 100644 (file)
index 0000000..4e5aa44
Binary files /dev/null and b/formal-model/futex-wakeup/.futex.spin.swp differ