How does Jinx work?
Jinx is a software quality tool that exposes hard-to-find concurrency bugs at design-time, saving developers time and improving application reliability. Jinx examines your code and intelligently selects slices of execution time within which to probe deeper for bugs. Within each time slice, Jinx evaluates numerous possibilities for the timing of how various threads within an application interact with one another and execute, and chooses a particular schedule of thread execution that is most likely to cause a bug. As a result, Jinx makes your code “unlucky” by proactively causing it to crash so that you can investigate why it did so.
