source: Deliverables/D5.1/cost-plug-in/wrapper/options.ml @ 1462

Last change on this file since 1462 was 1462, checked in by ayache, 8 years ago

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

File size: 2.3 KB
Line 
1open Misc.ArgExt
2
3let timeout                     = ref 0
4let set_timeout i               = timeout := i
5let get_timeout ()              = !timeout
6
7let prover                      = ref "simplify"
8let set_prover s                = prover := s
9let get_prover ()               = !prover
10
11let gui_flag                    = ref false
12let request_gui                 = (:=) gui_flag
13let gui_requested ()            = !gui_flag
14
15let verbose_level               = ref 0
16let set_verbose_level i         = verbose_level := i
17let get_verbose_level ()        = !verbose_level
18
19let verify_flag                 = ref false
20let request_verify              = (:=) verify_flag
21let verify_requested ()         = !verify_flag
22
23let test_flag                   = ref false
24let request_test                = (:=) test_flag
25let test_requested ()           = !test_flag
26
27let test_cases                  = ref 10
28let set_test_cases i            = test_cases := i
29let get_test_cases ()           = !test_cases
30
31let test_cycles                 = ref 10
32let set_test_cycles i           = test_cycles := i
33let get_test_cycles ()          = !test_cycles
34
35let test_min_int                = ref (-1000)
36let set_test_min_int i          = test_min_int := i
37let get_test_min_int ()         = !test_min_int
38
39let test_max_int                = ref 1000
40let set_test_max_int i          = test_max_int := i
41let get_test_max_int ()         = !test_max_int
42
43let options = OptionsParsing.register [
44
45  "-v", Arg.Int set_verbose_level,
46  " Verbosity, from 0 (lowest) to 2 (highest).";
47  extra_doc " [default is 0]";
48
49  "-verify", Arg.Set verify_flag,
50  " Verify the results with Frama-C/Jessie.";
51
52  "-timeout", Arg.Int set_timeout,
53  " Timeout in seconds for verification. 0 means no timeout.";
54  extra_doc " [default is 0]";
55
56  "-prover", Arg.String set_prover,
57  " Select a prover for verification through why.";
58  extra_doc " [default is simplify]";
59
60  "-gui", Arg.Set gui_flag,
61  " Do not select a prover: run a graphical user interface instead.";
62
63  "-test", Arg.Set test_flag,
64  " Test the results.";
65
66  "-test-cases", Arg.Int set_test_cases,
67  " Number of test cases.";
68  extra_doc " [default is 10]";
69
70  "-test-cycles", Arg.Int set_test_cycles,
71  " Number of cycles for each test case.";
72  extra_doc " [default is 10]";
73
74  "-test-min-int", Arg.Int set_test_min_int,
75  " Random int minimum value.";
76  extra_doc " [default is -1000]";
77
78  "-test-max-int", Arg.Int set_test_max_int,
79  " Random int maximum value.";
80  extra_doc " [default is 1000]";
81]
Note: See TracBrowser for help on using the repository browser.