News
For example, the command infer --racerd-only -- javac StockPortfolio.java will run RacerD on StockPortfolio.java. The sample code below, when inspected by RacerD, warns of one race condition.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback