diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-12 17:05:49 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-12 17:05:49 +0200 |
| commit | 26b263fbe8938d1fe13ee67ab87a2edeea9c99aa (patch) | |
| tree | 7f24f34221e341a1bd03fa6b8447c7541732a37d /interpret | |
| parent | f9103d7801d8f0f1760e0e259b1a7a296dc84c42 (diff) | |
| download | scade-analyzer-26b263fbe8938d1fe13ee67ab87a2edeea9c99aa.tar.gz scade-analyzer-26b263fbe8938d1fe13ee67ab87a2edeea9c99aa.zip | |
Nothing.
Diffstat (limited to 'interpret')
| -rw-r--r-- | interpret/interpret.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/interpret/interpret.ml b/interpret/interpret.ml index 3b4796f..d141bc6 100644 --- a/interpret/interpret.ml +++ b/interpret/interpret.ml @@ -244,18 +244,18 @@ let extract_next_state active p scope eqs st ccmap = let program_init_state p root_node = let (n, _) = find_node_decl p root_node in - let rec prog_init_state_aux st p scope eqs = + let rec aux st p scope eqs = let st = VarMap.add (scope^"/init") (VBool true) st in let add_subscopes = - List.fold_left (fun st (ss_id, ss_eqs, _) -> prog_init_state_aux st p (scope^"/"^ss_id) ss_eqs) + List.fold_left (fun st (ss_id, ss_eqs, _) -> aux st p (scope^"/"^ss_id) ss_eqs) in List.fold_left (fun st eq -> match fst eq with | AST_assign(_, e) -> add_subscopes st (subscopes p e) | AST_assume _ | AST_guarantee _ -> st - | AST_automaton _ -> not_implemented "prog_init_state_aux automaton") + | AST_automaton _ -> not_implemented "prog_init_state aux automaton") st eqs in - prog_init_state_aux (program_consts p) p "" n.body + aux (program_consts p) p "" n.body let program_step p st inputs root_node = |