Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

command_line.mli 1.27 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(*-----------------------------------------------------------------------
** Copyright (C) 2001 - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License 
**-----------------------------------------------------------------------
**
** File: command_line.mli
** Main author: jahier@imag.fr
*)

(** Handles everything that is related to command line lurette calls:
 printing lurette usage message, handling command line options, etc. 
*)


type optionsT = {
  mutable step_by_step : bool ;
  mutable display_local_var : bool ;
  mutable display_sim2chro : bool ;
20
  mutable cudd_heap_init : int ;
21
22
  mutable user_seed : int ;
  mutable oracle : bool
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
}

val usage : string
(** Usage message to be printed if an error occur when lurette is called. *)

val cmd_line_string_to_int : string -> string -> int
(** [cmd_line_string_to_int str errmsg] converts a string (of the
 command line) into an integer, and prints [errmsg] before aborting if
 the convertion failed.
*)

type cmd_line_optionT = 
    Step | NoStep 
  | DisplayLocalVar | NoDisplayLocalVar 
  | Sim2chro | NoSim2chro 
38
  | CuddHeapInit | Seed | NoOracle
39
40
41


val string_to_option: (string * cmd_line_optionT) list
42
43
(** Mapping from options string (e.g., "--no-step") to the cmd_line_optionT 
  type. *)