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.
Primary LanguageJava