// @ ensures \result != null;
public static junit.framework.Test suite() {
SearchableDigraph_JML_Test testobj =
new SearchableDigraph_JML_Test("SearchableDigraph_JML_Test");
junit.framework.TestSuite testsuite = testobj.overallTestSuite();
// Add instances of Test found by the reflection mechanism.
testsuite.addTestSuite(SearchableDigraph_JML_Test.class);
testobj.addTestSuiteForEachMethod(testsuite);
return testsuite;
}
// @ also
// @ requires result != null;
public void run(junit.framework.TestResult result) {
this.result = result;
super.run(result);
}
