spin

The efficient verification tool of multi-threaded software
https://spinroot.com/spin/whatispin.html

Current version
6.4.7

Recent formula history

ilovezfs spin 6.4.7
ilovezfs Use “squiggly” heredocs.
Mike McQuaid spin: remove unused fails_with :llvm.
Hiroshi Hatake spin 6.4.5
Viktor Szakats spin: use https homepage

Formula code at GitHub