spin(1) on Linux
The text bb48ebda2a74, as Arch Linux 2026-11-01 shipped it. The page shows this text now.
verification of multithreaded systems
Flags it lists
-
-Dxxx -
-Exxx -
-F -
-I -
-J -
-M -
-O -
-Pxxx -
-T -
-V -
-a -
-b -
-c -
-d -
-e -
-f -
-g -
-h -
-i -
-jN -
-k -
-l -
-m -
-nN -
-o -
-p -
-qN -
-r -
-replay -
-s -
-search -
-t -
-v -
-x