spin(1) on Linux
The text a54263b29321, as Debian 10 (Buster), Debian 9 (Stretch) 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