Project

General

Profile

« Previous | Next » 

Revision c226a3ba

Added by LĂ©lio Brun over 2 years ago

start generating ACSL spec

View differences:

src/utils/utils.ml
290 290
      ?(pp_prologue=pp_print_nothing) ?(pp_epilogue=pp_print_nothing)
291 291
      ?(pp_op=pp_print_nothing) ?(pp_cl=pp_print_nothing)
292 292
      ?(pp_open_box=fun fmt () -> pp_open_box fmt 0)
293
      ?(pp_eol=pp_print_nothing) ?pp_sep pp_v fmt l =
293
      ?(pp_eol=pp_print_nothing)
294
      ?(pp_nil=pp_print_nothing)
295
      ?pp_sep pp_v fmt l =
294 296
    fprintf fmt "%a%a%a%a%a@]%a%a"
295 297
      (fun fmt l -> if l <> [] then pp_prologue fmt ()) l
296 298
      pp_op ()
297 299
      pp_open_box ()
298
      (pp_print_list ?pp_sep pp_v) l
300
      (fun fmt () ->
301
         if l = [] then pp_nil fmt () else pp_print_list ?pp_sep pp_v fmt l) ()
299 302
      (fun fmt l -> if l <> [] then pp_eol fmt ()) l
300 303
      pp_cl ()
301 304
      (fun fmt l -> if l <> [] then pp_epilogue fmt ()) l

Also available in: Unified diff