Method testHelp

src/test/java/pascal/taie/config/OptionsTest.java:37–43

()

public class OptionsTest {

    @Test
    void testHelp() {
        Options options = Options.parse("--help");
        if (options.isPrintHelp()) {
            options.printHelp();
        }
    }

    @Test
    void testJavaVersion() {