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.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback