expectedGraph.addTransition(expectedGraph.transitionMatrix.get(P1003),lblLock,reject);
Assert.assertNull(WMethod.checkM_and_colours(expectedGraph,outcome,WMethod.VERTEX_COMPARISON_KIND.NONE));
}
};
tool.loadConfig("resources/earlier_failure.txt");
tool.process("config debugMode false");
tool.runExperiment();
}