Commit a23032bf authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.45 Wed, 13 Mar 2002 13:59:01 +0100 by jahier

Parent-Version:      0.44
Version-Log:

Comment out all the stuff related to the heap initialisation
of cudd since it is unused for the moment.

Project-Description: Lurette
parent dc7ea4b5
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 0 44)
(Parent-Version lurette 0 43)
(Project-Version lurette 0 45)
(Parent-Version lurette 0 44)
(Version-Log "
Add the possibility to specify the min lower and upper bounds
in the env automata for output and local vars.
Comment out all the stuff related to the heap initialisation
of cudd since it is unused for the moment.
")
(New-Version-Log "")
(Checkin-Time "Wed, 13 Mar 2002 13:53:40 +0100")
(Checkin-Time "Wed, 13 Mar 2002 13:59:01 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -20,7 +20,7 @@ in the env automata for output and local vars.
;; Sources files
(source/lurette.mli (lurette/11_lurette.ml 1.11 644))
(source/lurette.ml (lurette/12_lurette.ml 1.26 644))
(source/lurette.ml (lurette/12_lurette.ml 1.27 644))
(source/graph.mli (lurette/13_graph.mli 1.6 644))
(source/graph.ml (lurette/14_graph.ml 1.5 644))
......@@ -60,8 +60,8 @@ in the env automata for output and local vars.
(source/sim2chro.mli (lurette/b/23_sim2chro.m 1.3 644))
(source/sim2chro.ml (lurette/b/24_sim2chro.m 1.4 644))
(source/command_line.ml (lurette/b/20_command_li 1.3 644))
(source/command_line.mli (lurette/b/21_command_li 1.3 644))
(source/command_line.ml (lurette/b/20_command_li 1.4 644))
(source/command_line.mli (lurette/b/21_command_li 1.4 644))
(source/gen_stubs.ml (lurette/24_generate_l 1.19 644))
......
......@@ -13,7 +13,7 @@ type optionsT = {
mutable step_by_step : bool ;
mutable display_local_var : bool ;
mutable display_sim2chro : bool ;
mutable cudd_heap_init : int ;
(* mutable cudd_heap_init : int ; *)
mutable user_seed : int ;
mutable oracle : bool
}
......@@ -22,7 +22,8 @@ type cmd_line_optionT =
Step | NoStep
| DisplayLocalVar | NoDisplayLocalVar
| Sim2chro | NoSim2chro
| CuddHeapInit | Seed | NoOracle
(* | CuddHeapInit *)
| Seed | NoOracle
(* Names of the command line options to override the defaults. *)
let (string_to_option: (string * cmd_line_optionT) list) = [
......@@ -43,7 +44,7 @@ let (string_to_option: (string * cmd_line_optionT) list) = [
("--do-not-call-sim2chro", NoSim2chro);
("-ns2c", NoSim2chro);
("--init-cudd-heap", CuddHeapInit)
(* ("--init-cudd-heap", CuddHeapInit) *)
]
let (option_to_usage: cmd_line_optionT -> string) =
......@@ -55,7 +56,7 @@ let (option_to_usage: cmd_line_optionT -> string) =
| NoDisplayLocalVar -> "Do not display environment local variables in sim2chro.\n"
| Sim2chro -> "Call sim2chro when lurette resumes (Default).\n"
| NoSim2chro -> "Do not call sim2chro when lurette resumes.\n"
| CuddHeapInit -> "Set a magic number (related to the gc) that is used by mldd \n\t\t\tfor initializing Dd (Default is 20).\n"
(* | CuddHeapInit -> "Set a magic number (related to the gc) that is used by mldd \n\t\t\tfor initializing Dd (Default is 20).\n" *)
| Seed -> "Set the value of the seed the random engine is initialized with (0 lets the system draw a seed).\n"
| NoOracle -> "Do not need to specify an oracle.\n "
......
......@@ -17,7 +17,7 @@ type optionsT = {
mutable step_by_step : bool ;
mutable display_local_var : bool ;
mutable display_sim2chro : bool ;
mutable cudd_heap_init : int ;
(* mutable cudd_heap_init : int ; *)
mutable user_seed : int ;
mutable oracle : bool
}
......@@ -35,7 +35,8 @@ type cmd_line_optionT =
Step | NoStep
| DisplayLocalVar | NoDisplayLocalVar
| Sim2chro | NoSim2chro
| CuddHeapInit | Seed | NoOracle
(* | CuddHeapInit *)
| Seed | NoOracle
val string_to_option: (string * cmd_line_optionT) list
......
......@@ -30,7 +30,7 @@ let (options:Command_line.optionsT) = {
step_by_step = false ;
display_local_var = true ;
display_sim2chro = true ;
cudd_heap_init = 21 ;
(* cudd_heap_init = 21 ; *)
user_seed = 0 ;
oracle = true
}
......@@ -146,13 +146,13 @@ and
| NoOracle -> options.oracle <- false ; (n+1)
| CuddHeapInit ->
let str = (Sys.argv.(n+1)) in
options.cudd_heap_init <- cmd_line_string_to_int str
("*** Error when calling lurette: an " ^
"integer is expected after the " ^
"option --init-cudd-heap\n") ;
n+2
(* | CuddHeapInit -> *)
(* let str = (Sys.argv.(n+1)) in *)
(* options.cudd_heap_init <- cmd_line_string_to_int str *)
(* ("*** Error when calling lurette: an " ^ *)
(* "integer is expected after the " ^ *)
(* "option --init-cudd-heap\n") ; *)
(* n+2 *)
| Seed ->
let str = (Sys.argv.(n+1)) in
options.user_seed <- cmd_line_string_to_int str
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment