Module ATDGenerated.InferCommand

type t =
  1. | Analyze
    (*

    analyze previously captured source files

    *)
  2. | Capture
    (*

    capture compilation commands and translate source files into infer's intermediate language

    *)
  3. | Compile
    (*

    set up the infer environment then run the compilation commands without capturing the source files

    *)
  4. | Debug
    (*

    print information about internal structures

    *)
  5. | Explore
    (*

    explore infer reports

    *)
  6. | Help
    (*

    documentation about various aspects of infer

    *)
  7. | Report
    (*

    post-process infer results and reports

    *)
  8. | ReportDiff
    (*

    compute the difference of two infer reports

    *)
  9. | Run
    (*

    orchestrate the capture, analysis, and reporting of a compilation command

    *)

Main modes of operation for infer

include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val of_string : string -> t
val to_string : t -> string
val equal : t -> t -> bool
val all_commands : t list
val infer_exe_name : string
val to_exe_name : t -> string
val of_exe_name : string -> t option