Project

General

Profile

« Previous | Next » 

Revision e164af45

Added by LĂ©lio Brun almost 3 years ago

working version with additional asserts to make the axiom work

View differences:

src/backends/C/c_backend_src.mli
21 21

  
22 22
  val pp_ghost_parameter : ident -> formatter -> ident option -> unit
23 23

  
24
  val pp_contract : formatter -> machine_t list -> ident -> machine_t -> unit
24
  val pp_contract : formatter -> machine_t list -> ident -> ident -> machine_t -> unit
25 25
end
26 26

  
27 27
module EmptyMod : MODIFIERS_SRC

Also available in: Unified diff