Project

General

Profile

« Previous | Next » 

Revision c226a3ba

Added by Lélio Brun over 3 years ago

start generating ACSL spec

View differences:

src/backends/C/c_backend.ml
117 117 

  		




  118
  118
  
    
    | "acsl" ->


  		




  119
  119
  
    
      C_backend_header.(module EmptyMod : MODIFIERS_HDR),


  		




  120
  
  
    
      C_backend_src.(module EmptyMod : MODIFIERS_SRC),


  		




  
  120
  
    
      (module C_backend_spec.SrcMod : C_backend_src.MODIFIERS_SRC),


  		




  121
  121
  
    
      C_backend_main.(module EmptyMod : MODIFIERS_MAINSRC),


  		




  122
  122
  
    
      (module C_backend_spec.MakefileMod : C_backend_makefile.MODIFIERS_MKF),


  		




  123
  123
  
    
      C_backend_spec.preprocess_acsl


  		












Also available in:  Unified diff