From 123685740fd2e017ac15c3bb9c859fc0487bf7e0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 3 Jan 2022 16:26:14 +0100
Subject: [PATCH] add missing cache files

---
 tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json | 2 ++
 tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json | 1 +
 tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json | 2 ++
 tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json | 1 +
 tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json | 2 ++
 tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json | 2 ++
 tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json | 2 ++
 tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json | 2 ++
 tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json | 2 ++
 tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json | 1 +
 tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json | 2 ++
 tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json | 2 ++
 tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json | 1 +
 tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json | 1 +
 tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json | 1 +
 tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json | 2 ++
 tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json | 2 ++
 tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json | 2 ++
 tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json | 2 ++
 tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json | 1 +
 tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json | 2 ++
 tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json | 1 +
 tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json | 1 +
 tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json | 2 ++
 tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json | 1 +
 tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json | 1 +
 tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json | 2 ++
 27 files changed, 43 insertions(+)
 create mode 100644 tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json
 create mode 100644 tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
 create mode 100644 tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json
 create mode 100644 tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json
 create mode 100644 tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json
 create mode 100644 tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json
 create mode 100644 tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json
 create mode 100644 tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json
 create mode 100644 tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json
 create mode 100644 tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json
 create mode 100644 tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json
 create mode 100644 tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json
 create mode 100644 tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json
 create mode 100644 tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json
 create mode 100644 tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json
 create mode 100644 tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json
 create mode 100644 tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json
 create mode 100644 tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json
 create mode 100644 tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json
 create mode 100644 tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json
 create mode 100644 tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json
 create mode 100644 tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json
 create mode 100644 tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json
 create mode 100644 tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json
 create mode 100644 tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
 create mode 100644 tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json
 create mode 100644 tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json

diff --git a/tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json b/tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json
new file mode 100644
index 0000000..dc0024c
--- /dev/null
+++ b/tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0113,
+  "steps": 93 }
diff --git a/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json b/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
new file mode 100644
index 0000000..82374a4
--- /dev/null
+++ b/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }
diff --git a/tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json b/tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json
new file mode 100644
index 0000000..b1d7370
--- /dev/null
+++ b/tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0229,
+  "steps": 65 }
diff --git a/tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json b/tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json
new file mode 100644
index 0000000..e693461
--- /dev/null
+++ b/tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json b/tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json
new file mode 100644
index 0000000..84bae98
--- /dev/null
+++ b/tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0307,
+  "steps": 70 }
diff --git a/tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json b/tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json
new file mode 100644
index 0000000..51b3820
--- /dev/null
+++ b/tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0193,
+  "steps": 24 }
diff --git a/tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json b/tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json
new file mode 100644
index 0000000..dff17d1
--- /dev/null
+++ b/tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0124,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json b/tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json
new file mode 100644
index 0000000..c8a4f82
--- /dev/null
+++ b/tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0053,
+  "steps": 32 }
diff --git a/tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json b/tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json
new file mode 100644
index 0000000..34cef31
--- /dev/null
+++ b/tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0046,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json b/tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json
new file mode 100644
index 0000000..a1d28b0
--- /dev/null
+++ b/tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json b/tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json
new file mode 100644
index 0000000..6e1cff8
--- /dev/null
+++ b/tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0069,
+  "steps": 51 }
diff --git a/tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json b/tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json
new file mode 100644
index 0000000..831d92f
--- /dev/null
+++ b/tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0215,
+  "steps": 70 }
diff --git a/tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json b/tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json
new file mode 100644
index 0000000..a1d28b0
--- /dev/null
+++ b/tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json b/tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json
new file mode 100644
index 0000000..e693461
--- /dev/null
+++ b/tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json b/tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json
new file mode 100644
index 0000000..a1d28b0
--- /dev/null
+++ b/tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json b/tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json
new file mode 100644
index 0000000..4fe537f
--- /dev/null
+++ b/tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0121,
+  "steps": 24 }
diff --git a/tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json b/tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json
new file mode 100644
index 0000000..a3b6ce3
--- /dev/null
+++ b/tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0135,
+  "steps": 163 }
diff --git a/tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json b/tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json
new file mode 100644
index 0000000..a75174a
--- /dev/null
+++ b/tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0073,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json b/tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json
new file mode 100644
index 0000000..c27591b
--- /dev/null
+++ b/tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0129,
+  "steps": 24 }
diff --git a/tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json b/tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json
new file mode 100644
index 0000000..a1d28b0
--- /dev/null
+++ b/tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json b/tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json
new file mode 100644
index 0000000..e381c5f
--- /dev/null
+++ b/tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0131,
+  "steps": 163 }
diff --git a/tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json b/tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json
new file mode 100644
index 0000000..a1d28b0
--- /dev/null
+++ b/tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json b/tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json
new file mode 100644
index 0000000..e693461
--- /dev/null
+++ b/tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json b/tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json
new file mode 100644
index 0000000..6b800ac
--- /dev/null
+++ b/tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0228,
+  "steps": 85 }
diff --git a/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json b/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
new file mode 100644
index 0000000..82374a4
--- /dev/null
+++ b/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }
diff --git a/tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json b/tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json
new file mode 100644
index 0000000..e693461
--- /dev/null
+++ b/tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json b/tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json
new file mode 100644
index 0000000..ad0a5e3
--- /dev/null
+++ b/tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.013,
+  "steps": 22 }
-- 
GitLab