Skip to content
Snippets Groups Projects
Commit 0460d249 authored by erwan's avatar erwan
Browse files

Test: fix a bug in the dfs-list algo

parent 9326d028
No related branches found
No related tags found
No related merge requests found
(* Time-stamp: <modified the 19/02/2020 (at 09:56) by Erwan Jahier> *)
(* Time-stamp: <modified the 25/02/2020 (at 17:20) by Erwan Jahier> *)
(* cf Collin-Dolex-94 *)
......@@ -14,11 +14,11 @@ let (init_state: int -> 'v) =
let (enable_f: 'v -> 'v neighbor list -> action list) =
fun v _nl ->
if v.path = [] then [] else ["update_path"]
if v.path = [-1] then [] else ["update_path"]
let (step_f : 'v -> 'v neighbor list -> action -> 'v) =
fun v nl ->
function
| "update_path" -> { v with path = [] }
| "update_path" -> { v with path = [-1] }
| _ -> assert false
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment