summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-07-09 09:57:26 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-07-09 09:57:26 +0200
commit52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4 (patch)
treea723bbffa3e74323aa6c39312071646c9c521cd4
parent26846118dc8038e12d46800e89b6fab5fecef948 (diff)
downloadscade-analyzer-52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4.tar.gz
scade-analyzer-52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4.zip
Minor optimisation in ordering strategy.
-rw-r--r--abstract/varenv.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/abstract/varenv.ml b/abstract/varenv.ml
index 5d51837..8bd3971 100644
--- a/abstract/varenv.ml
+++ b/abstract/varenv.ml
@@ -228,10 +228,10 @@ let mk_varenv (rp : rooted_prog) f cl =
let lv_f = List.map (fun (a, b) -> (1.0, [a; b])) lv in
let lv_f = lv_f @ (List.map (fun v -> (10.0, ["#BEGIN"; v]))
(extract_const_vars_root cl)) in
- let lv_f = lv_f @ (List.map (fun v -> (5.0, ["#BEGIN"; v]))
+ let lv_f = lv_f @ (List.map (fun v -> (7.0, ["#BEGIN"; v]))
(List.filter (fun n -> is_suffix n "init") evars)) in
let lv_f = lv_f @ (List.map (fun v -> (3.0, ["#BEGIN"; v]))
- (List.filter (fun n -> is_suffix n "state") evars)) in
+ (List.filter (fun n -> is_suffix n "act" || is_suffix n "state") evars)) in
let lv_f = lv_f @
(List.map (fun v -> (0.7, [v; "L"^v]))
(List.filter (fun n -> List.mem ("L"^n) evars) evars)) in