spin

Install command:
brew install spin

Efficient verification tool of multi-threaded software

https://spinroot.com/spin/whatispin.html

License: BSD-3-Clause

Formula JSON API: /api/formula/spin.json

Formula code: spin.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sequoia
sonoma
ventura
monterey
big sur
Intel sonoma
ventura
monterey
big sur
catalina
mojave
high sierra
64-bit linux

Current versions:

stable 6.5.2

Analytics:

Installs (30 days)
spin 58
Installs on Request (30 days)
spin 58
Build Errors (30 days)
spin 0
Installs (90 days)
spin 129
Installs on Request (90 days)
spin 129
Installs (365 days)
spin 429
spin --HEAD 1
Installs on Request (365 days)
spin 429
spin --HEAD 1
Fork me on GitHub