Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/options.mli

    r486 r619  
    2121val input_files    : unit -> string list
    2222
     23(** {2 Output files} *)
     24val set_output_files : string -> unit
     25val get_output_files : unit -> string option
     26
    2327(** {2 Verbose mode} *)
    2428val is_debug_enabled : unit -> bool
    2529
     30(** {2 Print results requests} *)
     31val is_print_result_enabled : unit -> bool
     32
    2633(** {2 Developers' playground} *)
    2734val is_dev_test_enabled : unit -> bool
Note: See TracChangeset for help on using the changeset viewer.