Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/backends/Ada/misc_lustre_function.ml
268 268
              let assign = if state then MStateAssign (ident, value) else MLocalAssign (ident, value) in
269 269
              { instr_desc = assign;
270 270
                lustre_eq  = None;
271
                instr_spec = Spec_types.True
271
                instr_spec = []
272 272
              }
273 273
            in
274 274
            let mkval_var id = {

Also available in: Unified diff