Project

General

Profile

« Previous | Next » 

Revision d5ec9f63

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

Minor modif on seal

View differences:

src/tools/seal/seal_extract.ml
326 326 
        | _ -> assert false (* should have been removed by normalization *)
327 327 
      ) [] sorted_eqs
328 328 
  in
329 
  report ~level:2 (fun fmt -> Format.fprintf fmt "Printing out memories definitions (may takes time)@.");
329 
  report ~level:2 (fun fmt -> Format.fprintf fmt "Printing out (guarded) memories definitions (may takes time)@.");
330 330 
  (* Printing memories definitions *)
331 331 
  report ~level:3
332 332 
    (fun fmt ->
333 333 
      Format.fprintf fmt
334 
        "%a"
335 
        (Utils.fprintf_list ~sep:"@."
334 
        "@[<v 0>%a@]@ "
335 
        (Utils.fprintf_list ~sep:"@ "
336 336 
           (fun fmt (m,mdefs) ->
337 337 
             Format.fprintf fmt
338 
               "%s -> @[<v 0>[%a@] ]@."
338 
               "%s -> [@[<v 0>%a@] ]@ "
339 339 
               m
340 340 
               (Utils.fprintf_list ~sep:"@ "
341 341 
                  pp_guard_expr) mdefs
......
347 347 
  report ~level:3
348 348 
    (fun fmt ->
349 349 
      Format.fprintf fmt
350 
        "Init:@.%a@.Step@.%a"
351 
        (Utils.fprintf_list ~sep:"@."
350 
        "@[<v 0>Init:@ %a@ Step@ %a@]@ "
351 
        (Utils.fprintf_list ~sep:"@ "
352 352 
           (fun fmt (m,mdefs) ->
353 353 
             Format.fprintf fmt
354 
               "%s -> @[<v 0>[%a@] ]@."
354 
               "%s -> @[<v 0>[%a@] ]@ "
355 355 
               m
356 356 
               (Utils.fprintf_list ~sep:"@ "
357 357 
                  pp_guard_expr) mdefs
358 358 
        ))
359 359 
        init_defs
360 
        (Utils.fprintf_list ~sep:"@."
360 
        (Utils.fprintf_list ~sep:"@ "
361 361 
           (fun fmt (m,mdefs) ->
362 362 
             Format.fprintf fmt
363 
               "%s -> @[<v 0>[%a@] ]@."
363 
               "%s -> @[<v 0>[%a@] ]@ "
364 364 
               m
365 365 
               (Utils.fprintf_list ~sep:"@ "
366 366 
                  pp_guard_expr) mdefs

Also available in: Unified diff