@BeforeClass
public static void loadResults() throws InterruptedException, IOException {
inferResults = InferResults.loadInferResults(DivideByZeroTest.class, DivideByZero);
}
@BeforeClass
public static void loadResults() throws InterruptedException, IOException {
inferResults = InferResults.loadInferResults(NullPointerExceptionTest.class, SOURCE_FILE);
}
@BeforeClass
public static void loadResults() throws InterruptedException, IOException {
inferResults =
InferResults.loadTracingComparisonResults(ClassCastExceptionTest.class, SOURCE_FILE);
}