@Test
public final void testTestGeneration1()
{
DirectedSparseGraph g = new DirectedSparseGraph();
DirectedSparseVertex init = new DirectedSparseVertex();
init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
init.addUserDatum(JUConstants.PROPERTY, JUConstants.INIT, UserData.SHARED);
init.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);
g.addVertex(init);
WMethod wm = new WMethod(g,0);
checkTestGenerationResult(wm, new String[][] {