/src/backends/Ada/misc_lustre_function.ml - Diff - LustreC

« Previous | Next »

Revision 75c459f4

Added by Lélio Brun about 2 years ago

ID 75c459f4563ac20a55fb6ff5b88ef5de4b900823
Parent f69e7ea2
Child 6cbbe1c1

start with Spec AST generation

                   in
                   let assign = if state then MStateAssign (ident, value) else MLocalAssign (ident, value) in
                   { instr_desc = assign;
                     lustre_eq  = None
                     lustre_eq  = None;
                     instr_spec = Spec_types.True
+                  }
                 in
                 let mkval_var id = {

Also available in: Unified diff