Module Error.Exit_code

type t =
  1. | Success
    (*

    Everything terminated correctly and no bug was found.

    *)
  2. | Found_bug
    (*

    Analysis was successful and found a bug in the program.

    *)
  3. | Tool_error
    (*

    Soteria-C gave up on analysis

    *)
  4. | Arg_parsing_error
    (*

    User gave invalid arguments

    *)
val to_int : t -> Cmdliner.Cmd.Exit.code
val explain : t -> string