Method parse

src/main/java/pascal/taie/config/Options.java:325–328

Parses arguments and return the parsed and post-processed Options.

(String... args)

     * Parses arguments and return the parsed and post-processed Options.
     */
    public static Options parse(String... args) {
        Options options = CommandLine.populateCommand(new Options(), args);
        return postProcess(options);
    }

    /**
     * Validates input options and do some post-process on it.