/** Tests setUp to make sure it successfuly set the TVSFactory to be NodePredTVSFactory. */
public void testThatNodePredFactoryWasSet() {
assertTrue(
"setUp Should have set the TVSFactory to be NodePredTVSFactory!",
TVSFactory.getInstance() instanceof NodePredTVSFactory);
}
/** @see TestCase#setUp() */
protected void setUp() throws Exception {
TVSFactory.setTVSFactoryClass("functional");
super.setUp();
}