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.ml

    r740 r1462  
    4040let interpretation_requested () = !interpretation_flag
    4141
     42let interpretations_flag         = ref false
     43let request_interpretations      = (:=) interpretations_flag
     44let interpretations_requested () = !interpretations_flag
     45
    4246let debug_flag                  = ref false
    4347let set_debug                   = (:=) debug_flag
    4448let is_debug_enabled ()         = !debug_flag
     49
     50let asm_pretty_flag             = ref false
     51let set_asm_pretty              = (:=) asm_pretty_flag
     52let is_asm_pretty ()            = !asm_pretty_flag
     53
     54let lustre_flag                 = ref false
     55let set_lustre_file             = (:=) lustre_flag
     56let is_lustre_file ()           = !lustre_flag
     57
     58let remove_lustre_externals       = ref false
     59let set_remove_lustre_externals   = (:=) remove_lustre_externals
     60let is_remove_lustre_externals () = !remove_lustre_externals
     61
     62let lustre_test                 = ref None
     63let set_lustre_test s           = lustre_test := Some s
     64let get_lustre_test ()          = !lustre_test
     65
     66let lustre_test_cases           = ref 100
     67let set_lustre_test_cases       = (:=) lustre_test_cases
     68let get_lustre_test_cases ()    = !lustre_test_cases
     69
     70let lustre_test_cycles          = ref 100
     71let set_lustre_test_cycles      = (:=) lustre_test_cycles
     72let get_lustre_test_cycles ()   = !lustre_test_cycles
     73
     74let lustre_test_min_int         = ref (-1000)
     75let set_lustre_test_min_int     = (:=) lustre_test_min_int
     76let get_lustre_test_min_int ()  = !lustre_test_min_int
     77
     78let lustre_test_max_int         = ref 1000
     79let set_lustre_test_max_int     = (:=) lustre_test_max_int
     80let get_lustre_test_max_int ()  = !lustre_test_max_int
    4581
    4682(*
     
    5591
    5692let options = OptionsParsing.register [
     93(*
    5794  "-s", Arg.String set_source_language,
    5895  " Choose the source language between:";
    5996  extra_doc " Clight, Cminor";
    6097  extra_doc " [default is C]";
     98*)
    6199
    62100  "-l", Arg.String set_target_language,
     
    71109  " Interpret the compiled code.";
    72110
     111  "-is", Arg.Set interpretations_flag,
     112  " Interpret all the compilation passes.";
     113
    73114  "-d", Arg.Set debug_flag,
    74115  " Debugging mode.";
     
    76117  "-o", Arg.String set_output_files,
    77118  " Prefix of the output files.";
     119
     120  "-asm-pretty", Arg.Set asm_pretty_flag,
     121  " Output a pretty-printed assembly file.";
     122
     123  "-lustre", Arg.Set lustre_flag,
     124  " Input file is a Lustre file.";
     125
     126  "-remove-lustre-externals", Arg.Set remove_lustre_externals,
     127  " Remove Lustre externals.";
     128
     129  "-lustre-test", Arg.String set_lustre_test,
     130  " Input file is a Lustre file, testing requested.";
     131
     132  "-lustre-test-cases", Arg.Int set_lustre_test_cases,
     133  " Set the number of test cases when testing a Lustre";
     134  extra_doc " file.";
     135  extra_doc " [default is 100]";
     136
     137  "-lustre-test-cycles", Arg.Int set_lustre_test_cycles,
     138  " Set the number of cycles for each case when testing";
     139  extra_doc " a Lustre file.";
     140  extra_doc " [default is 100]";
     141
     142  "-lustre-test-min-int", Arg.Int set_lustre_test_min_int,
     143  " Random int minimum value when testing a Lustre file.";
     144  extra_doc " [default is -1000]";
     145
     146  "-lustre-test-max-int", Arg.Int set_lustre_test_max_int,
     147  " Random int maximum value when testing a Lustre file.";
     148  extra_doc " [default is 1000]";
    78149
    79150(*
Note: See TracChangeset for help on using the changeset viewer.