From f4d0ba0bb4eabf64501a785dca9913c28f4458ce Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 4 Nov 2020 20:09:54 +0100
Subject: [PATCH] update wp-cache

---
 tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json | 2 ++
 tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json | 1 +
 tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json | 2 ++
 tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json | 2 ++
 tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json | 1 +
 tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json | 1 +
 6 files changed, 9 insertions(+)
 create mode 100644 tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json
 create mode 100644 tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json
 create mode 100644 tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json
 create mode 100644 tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json
 create mode 100644 tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json
 create mode 100644 tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json

diff --git a/tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json b/tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json
new file mode 100644
index 0000000..b6559e4
--- /dev/null
+++ b/tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0108,
+  "steps": 13 }
diff --git a/tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json b/tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json
new file mode 100644
index 0000000..a55377a
--- /dev/null
+++ b/tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.01, "steps": 13 }
diff --git a/tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json b/tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json
new file mode 100644
index 0000000..fd3bd37
--- /dev/null
+++ b/tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0125,
+  "steps": 13 }
diff --git a/tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json b/tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json
new file mode 100644
index 0000000..6a021e7
--- /dev/null
+++ b/tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0179,
+  "steps": 34 }
diff --git a/tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json b/tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json
new file mode 100644
index 0000000..e693461
--- /dev/null
+++ b/tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json b/tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json
new file mode 100644
index 0000000..e693461
--- /dev/null
+++ b/tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
-- 
GitLab