spin(1) on Linux
The text 3f8d9c70abc8, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
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