Method testMainClass

src/test/java/pascal/taie/config/OptionsTest.java:58–62

()

    }

    @Test
    void testMainClass() {
        Options options = Options.parse("-cp", "path/to/cp", "-m", "Main");
        assertEquals("Main", options.getMainClass());
    }

    @Test
    void testAllowPhantom() {