From fc220a4465dedf321e435e9b56483f29e0761f40 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 18 Jan 2023 17:06:14 +0100
Subject: [PATCH] ci: track missing files
---
test/alea-coloring-alt/config.ml | 9 +++++++++
test/alea-coloring-unif/config.ml | 9 +++++++++
test/alea-coloring/config.ml | 9 +++++++++
test/async-unison/config.ml | 9 +++++++++
test/dfs-list/config.ml | 9 +++++++++
test/dfs/config.ml | 9 +++++++++
test/st-CYH91/config.ml | 9 +++++++++
test/st-KK06-algo2/config.ml | 9 +++++++++
8 files changed, 72 insertions(+)
create mode 100644 test/alea-coloring-alt/config.ml
create mode 100644 test/alea-coloring-unif/config.ml
create mode 100644 test/alea-coloring/config.ml
create mode 100644 test/async-unison/config.ml
create mode 100644 test/dfs-list/config.ml
create mode 100644 test/dfs/config.ml
create mode 100644 test/st-CYH91/config.ml
create mode 100644 test/st-KK06-algo2/config.ml
diff --git a/test/alea-coloring-alt/config.ml b/test/alea-coloring-alt/config.ml
new file mode 100644
index 00000000..51dda6a1
--- /dev/null
+++ b/test/alea-coloring-alt/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.3.5" ("a6897fa")*)
+(* on crevetete the 4/11/2020 at 13:33:32*)
+(*sasa -reg er100_algo_331.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/alea-coloring-unif/config.ml b/test/alea-coloring-unif/config.ml
new file mode 100644
index 00000000..81c5137f
--- /dev/null
+++ b/test/alea-coloring-unif/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.3.5" ("a6897fa")*)
+(* on crevetete the 4/11/2020 at 13:31:32*)
+(*sasa -reg er100_p.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/alea-coloring/config.ml b/test/alea-coloring/config.ml
new file mode 100644
index 00000000..87a9ca93
--- /dev/null
+++ b/test/alea-coloring/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:45*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/async-unison/config.ml b/test/async-unison/config.ml
new file mode 100644
index 00000000..1180d5c9
--- /dev/null
+++ b/test/async-unison/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:43*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/dfs-list/config.ml b/test/dfs-list/config.ml
new file mode 100644
index 00000000..86f63fdf
--- /dev/null
+++ b/test/dfs-list/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:47*)
+(*sasa -reg g.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/dfs/config.ml b/test/dfs/config.ml
new file mode 100644
index 00000000..1d618513
--- /dev/null
+++ b/test/dfs/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:45*)
+(*sasa -reg g.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/st-CYH91/config.ml b/test/st-CYH91/config.ml
new file mode 100644
index 00000000..1d43d76d
--- /dev/null
+++ b/test/st-CYH91/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:48*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/st-KK06-algo2/config.ml b/test/st-KK06-algo2/config.ml
new file mode 100644
index 00000000..f61e2eed
--- /dev/null
+++ b/test/st-KK06-algo2/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:32:12*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
--
GitLab