Commit f46b2a95 authored by erwan's avatar erwan
Browse files

fix the dijkstra example wrt an API change in sasa

parent 7179ca9b
Pipeline #64903 failed with stages
in 30 seconds
...@@ -10,6 +10,7 @@ let (legitimate: t Algo.legitimate_fun) = ...@@ -10,6 +10,7 @@ let (legitimate: t Algo.legitimate_fun) =
(* only one node is enabled *) (* only one node is enabled *)
let incr_token i pid = let incr_token i pid =
let s, nl = get pid in let s, nl = get pid in
let nl = List.map fst nl in
let have_token = (if s.root then Root.enable_f s nl else P.enable_f s nl) <> [] in let have_token = (if s.root then Root.enable_f s nl else P.enable_f s nl) <> [] in
let ni = if have_token then i+1 else i in let ni = if have_token then i+1 else i in
ni ni
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment