From adcf723f3d90e8ee032a9e8dd982fcf6a8fafe79 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 5 Sep 2023 17:05:04 +0200
Subject: [PATCH] [cache] add missing files

---
 tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json | 1 +
 tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json | 2 ++
 tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json | 1 +
 tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json | 2 ++
 tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json | 2 ++
 tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json | 1 +
 6 files changed, 9 insertions(+)
 create mode 100644 tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json
 create mode 100644 tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json
 create mode 100644 tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json
 create mode 100644 tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json
 create mode 100644 tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json
 create mode 100644 tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json

diff --git a/tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json b/tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json
new file mode 100644
index 00000000..54df8332
--- /dev/null
+++ b/tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.009, "steps": 5 }
diff --git a/tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json b/tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json
new file mode 100644
index 00000000..9841580a
--- /dev/null
+++ b/tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0082,
+  "steps": 5 }
diff --git a/tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json b/tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json
new file mode 100644
index 00000000..64c69156
--- /dev/null
+++ b/tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.009, "steps": 6 }
diff --git a/tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json b/tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json
new file mode 100644
index 00000000..0beecbf7
--- /dev/null
+++ b/tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0089,
+  "steps": 7 }
diff --git a/tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json b/tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json
new file mode 100644
index 00000000..4f476a33
--- /dev/null
+++ b/tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0175,
+  "steps": 39 }
diff --git a/tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json b/tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json
new file mode 100644
index 00000000..c26506a6
--- /dev/null
+++ b/tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 2. }
-- 
GitLab