/** * configures the CheckKernel instance used throughout the tests * * @return the fully configured CheckKernel instance used for testing */ protected CheckKernel getTester() { CheckKernel result; result = new CheckKernel(); result.setSilent(true); result.setKernel(m_Kernel); result.setNumInstances(20); result.setDebug(DEBUG); result.setPostProcessor(getPostProcessor()); return result; }