Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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