System.out.println("Found failure");
e.printStackTrace(System.out);
System.out.println("writing " + f1 + " and " + f2);
m1.write(new FileOutputStream(f1), "N-TRIPLE");
m2.write(new FileOutputStream(f2), "N-TRIPLE");
MinimumFailingGraphDetector minimumFailingGraphDetector = new MinimumFailingGraphDetector(
JenaUtil.getGraphFromModel(m1, true), JenaUtil
.getGraphFromModel(m2, true));
File f1min = new File("problematic-model1-minimized.nt");
File f2min = new File("problematic-model2-minimized.nt");
System.out.println("writing " + f1min + " and " + f2min);
JenaUtil.getModelFromGraph(
minimumFailingGraphDetector.getMinimumFailingG1())
.write(new FileOutputStream(f1min), "N-TRIPLE");
JenaUtil.getModelFromGraph(
minimumFailingGraphDetector.getMinimumFailingG2())
.write(new FileOutputStream(f2min), "N-TRIPLE");
return;
}
/*
* new File("random-model-1.nt").delete(); new