Ignore:
Timestamp:
Oct 25, 2011, 4:11:11 PM (9 years ago)
Author:
ayache
Message:

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File:
1 edited

Legend:

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

    r740 r1462  
    99val get_target_language : unit -> Languages.name
    1010
    11 (** {2 Interpretation requests} *)
     11(** {2 Interpretation request} *)
    1212val request_interpretation   : bool -> unit
    1313val interpretation_requested : unit -> bool
     14
     15(** {2 Interpretation requests} *)
     16val request_interpretations   : bool -> unit
     17val interpretations_requested : unit -> bool
    1418
    1519(** {2 Annotation requests} *)
     
    2832val is_debug_enabled : unit -> bool
    2933
     34(** {2 Assembly pretty print} *)
     35val set_asm_pretty : bool -> unit
     36val is_asm_pretty  : unit -> bool
     37
     38(** {2 Lustre file} *)
     39val set_lustre_file : bool -> unit
     40val is_lustre_file  : unit -> bool
     41
     42(** {2 Remove Lustre externals} *)
     43val set_remove_lustre_externals : bool -> unit
     44val is_remove_lustre_externals  : unit -> bool
     45
     46(** {2 Lustre file and test requested} *)
     47val set_lustre_test : string -> unit
     48val get_lustre_test : unit -> string option
     49
     50(** {2 Lustre file: number of test cases} *)
     51val set_lustre_test_cases : int -> unit
     52val get_lustre_test_cases : unit -> int
     53
     54(** {2 Lustre file: number of cycles for each case} *)
     55val set_lustre_test_cycles : int -> unit
     56val get_lustre_test_cycles : unit -> int
     57
     58(** {2 Lustre file: random int minimum value} *)
     59val set_lustre_test_min_int : int -> unit
     60val get_lustre_test_min_int : unit -> int
     61
     62(** {2 Lustre file: random int maximum value} *)
     63val set_lustre_test_max_int : int -> unit
     64val get_lustre_test_max_int : unit -> int
     65
    3066(*
    3167(** {2 Print results requests} *)
Note: See TracChangeset for help on using the changeset viewer.