Project

General

Profile

« Previous | Next » 

Revision fc7a01ce

Added by Pierre-Loïc Garoche almost 8 years ago

Ongoing ...

View differences:

src/horn_backend.ml
105 105
   - [pp_var]: printer for variables
106 106
*)
107 107
let pp_assign m self pp_var fmt var_type var_name value =
108
  fprintf fmt "(%a = %a)" (pp_horn_val ~is_lhs:true self pp_var) var_name (pp_value_suffix self pp_var) value
108
  fprintf fmt "(= %a %a)" (pp_horn_val ~is_lhs:true self pp_var) var_name (pp_value_suffix self pp_var) value
109 109
  
110 110
let pp_instance_call 
111 111
    machines ?(init=false) m self fmt i (inputs: value_t list) (outputs: var_decl list) =

Also available in: Unified diff