Project

General

Profile

Revision ca88e660 src/backends/Horn/horn_backend.ml

View differences:

src/backends/Horn/horn_backend.ml
27 27
(*
28 28
TODO:
29 29
- gerer les traces. Ca merde pour l'instant dans le calcul des memoires sur les arrows
30

  
31
<<<<<<< HEAD
32 30
- gerer le reset --- DONE
33 31
- reconstruire les rechable states DONE
34 32
- reintroduire le cex/traces ... DONE
35 33
- traiter les types enum et les branchements sur ces types enum (en particulier les traitements des resets qui ont lieu dans certaines branches et pas dans d'autres )
36 34
*)
35

  
36
(************************************************
37 37
=======
38 38
(* Used to print boolean constants *)
39 39
let pp_horn_tag fmt t =
......
445 445
    ;
446 446
  Format.fprintf fmt "(query CEXTRACE)@."
447 447

  
448
>>>>>>> salsa
449 448

  
449
************************************)
450 450
let main_print machines fmt =
451 451
if !Options.main_node <> "" then
452 452
  begin

Also available in: Unified diff