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