Method setClassPath

src/main/java/pascal/taie/config/Options.java:108–110

(List<String> classPath)

    }

    public void setClassPath(List<String> classPath) {
        this.classPath = classPath;
    }

    ;