source: Deliverables/D5.1/cost-plug-in/wrapper/options.mli @ 1462

Last change on this file since 1462 was 1462, checked in by ayache, 8 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 1007 bytes
RevLine 
[1462]1(** This module defines the wrapper general options. *)
2
3(** {2 Timeout} *)
4val set_timeout : int -> unit
5val get_timeout : unit -> int
6
7(** {2 Timeout} *)
8val set_prover : string -> unit
9val get_prover : unit -> string
10
11(** {2 Timeout} *)
12val request_gui   : bool -> unit
13val gui_requested : unit -> bool
14
15(** {2 Verbosity} *)
16val set_verbose_level : int -> unit
17val get_verbose_level : unit -> int
18
19(** {2 Verification request} *)
20val request_verify   : bool -> unit
21val verify_requested : unit -> bool
22
23(** {2 Test request} *)
24val request_test   : bool -> unit
25val test_requested : unit -> bool
26
27(** {2 Test cases number} *)
28val set_test_cases : int -> unit
29val get_test_cases : unit -> int
30
31(** {2 Test cycles number} *)
32val set_test_cycles : int -> unit
33val get_test_cycles : unit -> int
34
35(** {2 Random int minimum value} *)
36val set_test_min_int : int -> unit
37val get_test_min_int : unit -> int
38
39(** {2 Random int maximum value} *)
40val set_test_max_int : int -> unit
41val get_test_max_int : unit -> int
Note: See TracBrowser for help on using the repository browser.