xspin

Software verification tool (developed at Bell Labs)

https://spinroot.com/spin/Src/index.html

/api/formula/xspin.json (JSON API)

Formula code on GitHub

Current versions:

stable 5.2.5
bottle 🍾 mojave, high_sierra, sierra, el_capitan, yosemite, mavericks

Depends on:

spin 6.4.9 The efficient verification tool of multi-threaded software

Analytics:

Installs (30 days)
xspin 6
Installs on Request (30 days)
xspin 6
Build Errors (30 days)
xspin 0
Installs (90 days)
xspin 16
Installs on Request (90 days)
xspin 16
Installs (365 days)
xspin 75
Installs on Request (365 days)
xspin 76
Fork me on GitHub