Method testPrependJVM

src/test/java/pascal/taie/config/OptionsTest.java:51–56

()

    }

    @Test
    void testPrependJVM() {
        Options options = Options.parse("-pp");
        assertEquals(Options.getCurrentJavaVersion(),
                options.getJavaVersion());
    }

    @Test
    void testMainClass() {