content: /*
   * This file was automatically generated by UTestGen and EvoSuite
   * Thu Mar 21 02:11:33 GMT 2024
   */
  
  
  import org.junit.jupiter.api.Test;
  import static org.junit.jupiter.api.Assertions.*;
  import org.junit.jupiter.api.Timeout;
  import java.util.concurrent.TimeUnit;
  import static org.evosuite.runtime.EvoAssertions.*;
  import org.evosuite.runtime.EvoRunner;
  import org.evosuite.runtime.EvoRunnerParameters;
  import org.junit.runner.RunWith;
  
  @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = true) 
  public class Menu_Original_ESTest extends Menu_Original_ESTest_scaffolding {
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testInitThrowsNullPointerException() throws Throwable  {
        Menu menu = new Menu();
        // Undeclared exception!
        try { 
          menu.init();
          fail("Expecting exception: NullPointerException");
        
        } catch(NullPointerException e) {
           //
           // no message in exception (getMessage() returned null)
           //
           verifyException("Menu", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testCreateXMLThrowsNullPointerException() throws Throwable  {
        Menu menu = new Menu("", "", "/", "7'x", true, (GUI) null);
        // Undeclared exception!
        try { 
          menu.createXML();
          fail("Expecting exception: NullPointerException");
        
        } catch(NullPointerException e) {
           //
           // no message in exception (getMessage() returned null)
           //
           verifyException("Menu", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testDVDMainMenuThrowsNullPointerException() throws Throwable  {
        Menu menu = new Menu("lblTitle", "lblTitle", false, (GUI) null);
        // Undeclared exception!
        try { 
          menu.DVDMainMenu();
          fail("Expecting exception: NullPointerException");
        
        } catch(NullPointerException e) {
           //
           // no message in exception (getMessage() returned null)
           //
           verifyException("Menu", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testRunThrowsNullPointerException() throws Throwable  {
        Menu menu = new Menu();
        // Undeclared exception!
        try { 
          menu.run();
          fail("Expecting exception: NullPointerException");
        
        } catch(NullPointerException e) {
           //
           // no message in exception (getMessage() returned null)
           //
           verifyException("Menu", e);
        }
    }
  }
  