Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/main_lustre_testgen.ml
192 192

  
193 193
    Arg.parse options anonymous usage
194 194
  with
195
  | Parse.Error _
195
  | Parse.Error
196 196
  | Types.Error (_, _)
197 197
  | Clocks.Error (_, _)
198 198
  | Error.Error _

Also available in: Unified diff