From 0460d249395d9cd2ae010361d52d0965dba1d4eb Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 26 Feb 2020 16:05:24 +0100
Subject: [PATCH] Test: fix a bug in the dfs-list algo
---
test/dfs-list/root.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/test/dfs-list/root.ml b/test/dfs-list/root.ml
index 0e8c6413..6ee63f32 100644
--- a/test/dfs-list/root.ml
+++ b/test/dfs-list/root.ml
@@ -1,4 +1,4 @@
-(* 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
--
GitLab