Project

General

Profile

Revision 03c767b1 src/tools/seal/seal_verifier.ml

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