Method testKeepResult

src/test/java/pascal/taie/config/OptionsTest.java:87–93

()

    }

    @Test
    void testKeepResult() {
        Options options = Options.parse();
        assertEquals(Set.of(Plan.KEEP_ALL), options.getKeepResult());
        options = Options.parse("-kr", "pta,def-use");
        assertEquals(Set.of("pta", "def-use"), options.getKeepResult());
    }

    @Test
    void testClasspath() {