diff options
Diffstat (limited to 'abstract')
| -rw-r--r-- | abstract/varenv.ml | 4 |
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 |