From d48dabed795c8ed4109a849fae07aa80dab17302 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 21 Feb 2024 09:56:34 +0100
Subject: [PATCH] Update WP cache

---
 tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json | 1 +
 tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json | 2 ++
 2 files changed, 3 insertions(+)
 create mode 100644 tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json
 create mode 100644 tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json

diff --git a/tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json b/tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json
new file mode 100644
index 00000000..85ed0a99
--- /dev/null
+++ b/tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.2", "verdict": "timeout", "time": 2. }
diff --git a/tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json b/tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json
new file mode 100644
index 00000000..6fefc0b7
--- /dev/null
+++ b/tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.2", "verdict": "valid", "time": 0.0082,
+  "steps": 38 }
-- 
GitLab