package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Wp.Why3ProversSource

Sourceval version : string
Sourceval config : unit -> Why3.Whyconf.config
Sourceval configure : unit -> unit
Sourceval set_procs : int -> unit
Sourcetype t = Why3.Whyconf.prover
Sourceval find_opt : string -> t option
Sourcetype fallback =
  1. | Exact of t
  2. | Fallback of t
  3. | NotFound
Sourceval find_fallback : string -> fallback
Sourceval ident_why3 : t -> string
Sourceval ident_wp : t -> string
Sourceval title : ?version:bool -> t -> string
Sourceval compare : t -> t -> int
Sourceval provers : unit -> t list
Sourceval provers_set : unit -> Why3.Whyconf.Sprover.t
Sourceval is_available : t -> bool
Sourceval is_mainstream : t -> bool
Sourceval has_shortcut : t -> string -> bool
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct