Method testJavaVersion

src/test/java/pascal/taie/config/OptionsTest.java:45–49

()

    }

    @Test
    void testJavaVersion() {
        Options options = Options.parse("-java=8");
        assertEquals(options.getJavaVersion(), 8);
    }

    @Test
    void testPrependJVM() {