/*
  * 2 covered goals:
  * 1 com.sap.netweaver.porta.core.nw7.CoreModuleImpl.setAuthenticationCallback(Lcom/sap/netweaver/porta/core/AuthenticationCallback;)V: root-Branch
  * 2 com.sap.netweaver.porta.core.nw7.CoreModuleImpl.<init>(Ljava/lang/String;I)V: root-Branch
  */
 @Test
 public void test0() throws Throwable {
   DeployManagerImpl deployManagerImpl0 = new DeployManagerImpl("/SCowol.cg}", (-668));
   SnippetUseDeployManager snippetUseDeployManager0 = new SnippetUseDeployManager();
   deployManagerImpl0.setAuthenticationCallback((AuthenticationCallback) snippetUseDeployManager0);
   assertEquals(false, deployManagerImpl0.initialized());
 }
 /*
  * 2 covered goals:
  * 1 com.sap.netweaver.porta.core.nw7.CoreModuleImpl.checkInitialized()V: I4 Branch 1 IFNE L38 - false
  * 2 com.sap.netweaver.porta.core.nw7.CoreModuleImpl.<init>(Ljava/lang/String;I)V: root-Branch
  */
 @Test
 public void test1() throws Throwable {
   DeployManagerImpl deployManagerImpl0 = new DeployManagerImpl("/SCowol.cg}", (-668));
   try {
     deployManagerImpl0.getApplications();
     fail("Expecting exception: CoreException");
   } catch (CoreException e) {
     /*
      * java.net.MalformedURLException: Invalid port number :-16787
      */
   }
 }