From 52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Wed, 9 Jul 2014 09:57:26 +0200 Subject: Minor optimisation in ordering strategy. --- abstract/varenv.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'abstract') 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 -- cgit v1.2.3