spin

Install command:
 $ brew install spin 

Efficient verification tool of multi-threaded software

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

License: BSD-3-Clause

/api/formula-linux/spin.json (JSON API)

Linux formula code on GitHub

Current versions:

stable 6.5.2
bottle 🍾 catalina, mojave, high_sierra, x86_64_linux

Depends on when building from source:

bison 3.7.3 Parser generator

Analytics:

Installs (30 days)
spin 0
Installs on Request (30 days)
spin 0
Build Errors (30 days)
spin 0
Installs (90 days)
spin 1
Installs on Request (90 days)
spin 1
Installs (365 days)
spin 6
Installs on Request (365 days)
spin 3
Fork me on GitHub