Project

General

Profile

« Previous | Next » 

Revision 15c3e4e7

Added by LĂ©lio Brun 11 months ago

generic ACSL spec generation

View differences:

src/utils/utils.ml
278 278
  let pp_print_cpar fmt () = pp_print_string fmt ")"
279 279
  let pp_print_obrace fmt () = pp_print_string fmt "{"
280 280
  let pp_print_cbrace fmt () = pp_print_string fmt "}"
281
  let pp_print_opar' fmt () = pp_print_string fmt "( "
282
  let pp_print_cpar' fmt () = pp_print_string fmt " )"
283
  let pp_print_obrace' fmt () = pp_print_string fmt "{ "
284
  let pp_print_cbrace' fmt () = pp_print_string fmt " }"
281 285

  
282 286
  let pp_print_comma fmt () = fprintf fmt ",@ "
283 287
  let pp_print_semicolon fmt () = fprintf fmt ";@ "
......
337 341
      ~pp_cl:pp_print_cbrace
338 342
      ~pp_sep
339 343

  
344
  let pp_print_braced' ?(pp_sep=pp_print_comma) =
345
    pp_print_list
346
      ~pp_op:pp_print_obrace'
347
      ~pp_cl:pp_print_cbrace'
348
      ~pp_sep
340 349
end
341 350

  
342 351
let fprintf_list ?(eol:('a, formatter, unit) format = "") ~sep:sep f fmt l =

Also available in: Unified diff