saeta / verityco

Verityco is a prototype race-condition checker for actor systems that use the Akka concurrency library. It is implemented as a Java agent, requiring no code changes to enable checking.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

saeta/verityco Stargazers