Module VCS

module VCS: sig .. end

Prover

type prover = 

type mode = 

type language = 

module Pmap: Map.S  with type key = prover

val language_of_prover : prover -> language

val language_of_name : string -> language option

val name_of_prover : prover -> string

val filename_for_prover : prover -> string

val prover_of_name : string -> prover option

val language_of_prover_name : string -> language option

val mode_of_prover_name : string -> mode

val name_of_mode : mode -> string

val pp_prover : Format.formatter -> prover -> unit

val pp_language : Format.formatter -> language -> unit

val pp_mode : Format.formatter -> mode -> unit

val cmp_prover : prover -> prover -> int

Results

type verdict = 

type result = {

val no_result : result

val valid : result

val checked : result

val invalid : result

val unknown : result

val timeout : result

val stepout : result

val computing : (unit -> unit) -> result

val failed : ?pos:Lexing.position -> string -> result

val kfailed : ?pos:Lexing.position ->
       ('a, Format.formatter, unit, result) Pervasives.format4 -> 'a

val result : ?solver:float -> ?time:float -> ?steps:int -> verdict -> result

val is_verdict : result -> bool

val pp_result : Format.formatter -> result -> unit

val compare : result -> result -> int