Ejemplo n.º 1
0
 @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);
 }
Ejemplo n.º 3
0
 @BeforeClass
 public static void loadResults() throws InterruptedException, IOException {
   inferResults =
       InferResults.loadTracingComparisonResults(ClassCastExceptionTest.class, SOURCE_FILE);
 }