Method setAppClassPath

src/main/java/pascal/taie/config/Options.java:126–128

(List<String> appClassPath)

    }

    public void setAppClassPath(List<String> appClassPath) {
        this.appClassPath = appClassPath;
    }

    @JsonProperty
    @Option(names = {"-m", "--main-class"}, description = "Main class")