Changeset 619 for Deliverables/D2.2/8051/src/options.mli

Timestamp:

Mar 2, 2011, 3:27:41 PM (10 years ago)

Author:

ayache

Message:

Update of D2.2 from Paris.

File:

• Deliverables/D2.2/8051/src/options.mli (modified) (1 diff)

Deliverables/D2.2/8051/src/options.mli

@@ -21 +21 @@
 val input_files    : unit -> string list
 
+(** {2 Output files} *)
+val set_output_files : string -> unit
+val get_output_files : unit -> string option
+
 (** {2 Verbose mode} *)
 val is_debug_enabled : unit -> bool
 
+(** {2 Print results requests} *)
+val is_print_result_enabled : unit -> bool
+
 (** {2 Developers' playground} *)
 val is_dev_test_enabled : unit -> bool