//m2.read(new File("problematic-model2.nt").toURL().toString(), "N-TRIPLE");
m1.read(MinimumFailingGraphDetector.class.getResource("test14-1.nt").toString(), "N-TRIPLE");
m2.read(MinimumFailingGraphDetector.class.getResource("test14-2.nt").toString(), "N-TRIPLE");
m1 = LeanDiffPatch.leanify(m1);
m2 = LeanDiffPatch.leanify(m2);
Graph g1 = new JenaModelGraph(m1, true);
Graph g2 = new JenaModelGraph(m2, true);
MinimumFailingGraphDetector detector = new MinimumFailingGraphDetector(g1, g2);
System.out.println("minimum failing g1 (of size "+detector.minimumFailingG1.size()+") :");
JenaUtil.getModelFromGraph(
detector.minimumFailingG1).write(
System.out, "N-TRIPLE");