Method getAnalyses

src/main/java/pascal/taie/config/Options.java:272–274

()

    private Map<String, String> analyses = Map.of();

    public Map<String, String> getAnalyses() {
        return analyses;
    }

    @JsonProperty
    @Option(names = {"-g", "--gen-plan-file"},