Project

General

Profile

« Previous | Next » 

Revision 03c767b1

Added by Pierre-Loïc Garoche almost 4 years ago

Seal: solved issue with guards merging

View differences:

src/tools/seal/seal_verifier.ml
114 114 
  (struct
115 115 
    include VerifierType.Default
116 116 
    let name = "seal"
117 
    let options = ["-export", Arg.String set_export, "seal export option (lustre, matlab)"]
117 
    let options =
118 
      [
119 
        "-export", Arg.String set_export, "seal export option (lustre, matlab)";
120 
        "-debug", Arg.Set seal_debug, "seal debug"
121 

  		




  
  122
  
    
      ]


  		




  118
  123
  
    
    let activate () =


  		




  119
  124
  
    
      active := true;


  		




  120
  125
  
    
      Options.global_inline := true


  		












Also available in:  Unified diff