Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/options.mli | ||
---|---|---|
16 | 16 |
type option_output = |
17 | 17 |
| OutC |
18 | 18 |
| OutAda |
19 |
| OutJava |
|
19 | 20 |
| OutEMF |
20 | 21 |
| OutHorn |
21 | 22 |
| OutLustre |
... | ... | |
76 | 77 |
val gen_mcdc: bool ref |
77 | 78 |
|
78 | 79 |
val no_mutation_suffix: bool ref |
80 |
|
|
81 |
val compile_header: bool ref |
|
82 |
|
|
83 |
val track_exceptions: bool ref |
Also available in: Unified diff
another step towards refactoring