summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--interpret/interpret.ml8
-rw-r--r--main.ml2
2 files changed, 5 insertions, 5 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 =
diff --git a/main.ml b/main.ml
index 20e3dd3..fa134ed 100644
--- a/main.ml
+++ b/main.ml
@@ -10,7 +10,7 @@ let usage = "usage: analyzer [options] file.scade"
let options = [
"--dump", Arg.Set dump, "Dump program source.";
- "--vest", Arg.Set vtest, "Verbose testing.";
+ "--vtest", Arg.Set vtest, "Verbose testing.";
"--test", Arg.Set test, "Simple testing.";
]