Project

General

Profile

« Previous | Next » 

Revision c226a3ba

Added by LĂ©lio Brun over 2 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