Project

General

Profile

« Previous | Next » 

Revision d2d9d4cb

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

Missing files

View differences:

src/backends/Horn/horn_backend_collecting_sem.ml
92 92 
    (pp_conj (pp_horn_var machine)) main_output
93 93 
    (Utils.fprintf_list ~sep:" " (pp_horn_var machine)) main_memory_next
94 94 
    ;
95 
   if !Options.horn_queries then fprintf fmt "(query ERR)@."
95 
   if !Options.horn_query then fprintf fmt "(query ERR)@."
96 96 

  		




  97
  97
  
    

  		




  98
  98
  
    
let cex_computation machines fmt node machine =


  		












Also available in:  Unified diff