Project

General

Profile

« Previous | Next » 

Revision 782742b6

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

Merged unstable with seahorn

View differences:

src/compiler_common.ml
188 188
   (Env.initial, Env.initial)
189 189
 *)
190 190

  
191
let generate_lusic_header destname lusic_ext =	
192
  match !Options.output with
193
  | "C" -> C_backend_lusic.print_lusic_to_h destname lusic_ext
194
  | _ -> ()
195
	 
196

  
197
    
191 198
let check_compatibility (prog, computed_types_env, computed_clocks_env) (header, declared_types_env, declared_clocks_env) =
192 199
  try
193 200
    (* checking defined types are compatible with declared types*)

Also available in: Unified diff