From 319660d493754ea8a21d43222acd6ea3204fc556 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 26 May 2023 17:41:36 +0200
Subject: [PATCH] ci: track a missing file

---
 test/st-KK06-algo2/potential.ml | 1 +
 test/st-KK06-algo2/state.ml     | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)
 create mode 120000 test/st-KK06-algo2/potential.ml

diff --git a/test/st-KK06-algo2/potential.ml b/test/st-KK06-algo2/potential.ml
new file mode 120000
index 00000000..0cef25e3
--- /dev/null
+++ b/test/st-KK06-algo2/potential.ml
@@ -0,0 +1 @@
+../st-KK06-algo1/potential.ml
\ No newline at end of file
diff --git a/test/st-KK06-algo2/state.ml b/test/st-KK06-algo2/state.ml
index 34c7fcfc..db9faed5 100644
--- a/test/st-KK06-algo2/state.ml
+++ b/test/st-KK06-algo2/state.ml
@@ -1,9 +1,9 @@
 
-type t = int 
-let to_string = (fun s -> Printf.sprintf "f=%i" s)
+type t = int
+let to_string = (fun s -> Printf.sprintf "%i" s)
 let of_string = Some int_of_string
 let copy x = x
 let actions = ["R";"R1"]
 let potential = None
 let legitimate = None
-let fault = None 
+let fault = None
-- 
GitLab