Method testClasspath

src/test/java/pascal/taie/config/OptionsTest.java:95–105

()

    }

    @Test
    void testClasspath() {
        Options options = Options.parse(
                "-cp", ".\\a.jar",
                "-cp", "./dir\\b",
                "-cp", "./c" + File.pathSeparator + "d.jar",
                "-cp", "e.jar" + File.pathSeparator
        );
        assertEquals(List.of(".\\a.jar", "./dir\\b", "./c", "d.jar", "e.jar"),
                options.getClassPath());
    }

}