String classname = "gov.nasa.jpf.autodoc.types.AutoDocTool";
String badclassname = "gov.nasa.jpf.unexistent.FakeBadClass";
ClassPath cp = new ClassPath();
cp.addPathName("build/jpf-autodoc-types.jar");
assertTrue(cp.classFound(classname));
assertFalse(cp.classFound(badclassname));
}
/**
* Test of getSource method, of class ClassPath.