Tomato: bug fix, node inputs were not properly considered different.
This commit is contained in:
parent
8a78bc7d7d
commit
699b3c68e9
|
@ -483,6 +483,11 @@ module EqClasses = Map.Make(
|
||||||
| Eapp (app, _, _) | Eiterator (_, app, _, _, _, _) -> app.a_unsafe
|
| Eapp (app, _, _) | Eiterator (_, app, _, _, _, _) -> app.a_unsafe
|
||||||
| _ -> false
|
| _ -> false
|
||||||
|
|
||||||
|
let compare_children c1 c2 = match c1, c2 with
|
||||||
|
| None, _ -> -1
|
||||||
|
| _, None -> 1
|
||||||
|
| Some c1', Some c2' -> Pervasives.compare c1' c2'
|
||||||
|
|
||||||
let compare (e1, ck1, cr_list1) (e2, ck2, cr_list2) =
|
let compare (e1, ck1, cr_list1) (e2, ck2, cr_list2) =
|
||||||
let cr = ClockCompareModulo.clock_type_compare ck1 ck2 in
|
let cr = ClockCompareModulo.clock_type_compare ck1 ck2 in
|
||||||
if cr <> 0 then cr
|
if cr <> 0 then cr
|
||||||
|
@ -492,7 +497,7 @@ module EqClasses = Map.Make(
|
||||||
else
|
else
|
||||||
if unsafe e1 then 1
|
if unsafe e1 then 1
|
||||||
else
|
else
|
||||||
(if unsafe e2 then -1 else list_compare Pervasives.compare cr_list1 cr_list2))
|
(if unsafe e2 then -1 else list_compare compare_children cr_list1 cr_list2))
|
||||||
end)
|
end)
|
||||||
|
|
||||||
let rec path_environment tenv =
|
let rec path_environment tenv =
|
||||||
|
|
Loading…
Reference in a new issue