From 2e07089fe98ee1676f6c772475121e131ec0b824 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 8 Apr 2024 17:35:16 +0200
Subject: [PATCH] test: in dijkstra, use the same K as in the lustre version

---
 test/dijkstra-ring/p.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/dijkstra-ring/p.ml b/test/dijkstra-ring/p.ml
index 13fdff31..15efa9b1 100644
--- a/test/dijkstra-ring/p.ml
+++ b/test/dijkstra-ring/p.ml
@@ -1,8 +1,8 @@
-(* Time-stamp: <modified the 16/01/2023 (at 22:13) by Erwan Jahier> *)
+(* Time-stamp: <modified the 08/04/2024 (at 17:01) by Erwan Jahier> *)
 
 open Algo
 
-let k = card()
+let k = card()+1
 open State
 let (init_state: int -> string -> 's) =
   fun _ _ ->
-- 
GitLab