Changeset 619 for Deliverables/D2.2/8051/src/options.mli
- Timestamp:
- Mar 2, 2011, 3:27:41 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/options.mli
r486 r619 21 21 val input_files : unit -> string list 22 22 23 (** {2 Output files} *) 24 val set_output_files : string -> unit 25 val get_output_files : unit -> string option 26 23 27 (** {2 Verbose mode} *) 24 28 val is_debug_enabled : unit -> bool 25 29 30 (** {2 Print results requests} *) 31 val is_print_result_enabled : unit -> bool 32 26 33 (** {2 Developers' playground} *) 27 34 val is_dev_test_enabled : unit -> bool
Note: See TracChangeset
for help on using the changeset viewer.