36 lines
1.3 KiB
OCaml
36 lines
1.3 KiB
OCaml
(***********************************************************************)
|
|
(* *)
|
|
(* Objective Caml *)
|
|
(* *)
|
|
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
|
|
(* Objective Caml port by John Malecki and Xavier Leroy *)
|
|
(* *)
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
(* *)
|
|
(***********************************************************************)
|
|
|
|
(* $Id$ *)
|
|
|
|
(********************** Configuration file *****************************)
|
|
|
|
exception Toplevel
|
|
|
|
(*** Miscellaneous parameters. ***)
|
|
|
|
val debugger_prompt : string
|
|
val event_mark_before : string
|
|
val event_mark_after : string
|
|
val shell : string
|
|
val runtime_program : string
|
|
val history_size : int ref
|
|
|
|
(*** Time travel paramaters. ***)
|
|
|
|
val checkpoint_big_step : int64 ref
|
|
val checkpoint_small_step : int64 ref
|
|
val checkpoint_max_count : int ref
|
|
val make_checkpoints : bool ref
|
|
|