From 20cb54a91275e023ceb7906cf4e658b97919c267 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 17 May 2023 15:42:09 +0200
Subject: [PATCH] [tests] update wp cache

---
 tests/wp-cache/cache/02ec56fcf1c1a815b7db564e0b1f8eed.json | 2 ++
 tests/wp-cache/cache/243a414ad350253fcde34ef28d4b0805.json | 2 ++
 tests/wp-cache/cache/29fae1b03ae769dd9d5227abcf97e182.json | 2 ++
 tests/wp-cache/cache/3cc18422e0c163603d7aff88afcb9de5.json | 1 +
 tests/wp-cache/cache/60c47cb034783c49959264a81c38fb59.json | 1 +
 tests/wp-cache/cache/662be506be96b93077371c9197816490.json | 1 +
 tests/wp-cache/cache/704114ccfd125f30e51abb279169d8ab.json | 1 +
 tests/wp-cache/cache/73c1837214ac1fd111f9e883fc89a9c2.json | 2 ++
 tests/wp-cache/cache/a8e6337cb512c10286c6e1b2f0b2513c.json | 2 ++
 tests/wp-cache/cache/c4706d26672432bc13ae0b4acac5a31b.json | 1 +
 tests/wp-cache/cache/fb37747238b7860c303daac9b3d1f842.json | 2 ++
 11 files changed, 17 insertions(+)
 create mode 100644 tests/wp-cache/cache/02ec56fcf1c1a815b7db564e0b1f8eed.json
 create mode 100644 tests/wp-cache/cache/243a414ad350253fcde34ef28d4b0805.json
 create mode 100644 tests/wp-cache/cache/29fae1b03ae769dd9d5227abcf97e182.json
 create mode 100644 tests/wp-cache/cache/3cc18422e0c163603d7aff88afcb9de5.json
 create mode 100644 tests/wp-cache/cache/60c47cb034783c49959264a81c38fb59.json
 create mode 100644 tests/wp-cache/cache/662be506be96b93077371c9197816490.json
 create mode 100644 tests/wp-cache/cache/704114ccfd125f30e51abb279169d8ab.json
 create mode 100644 tests/wp-cache/cache/73c1837214ac1fd111f9e883fc89a9c2.json
 create mode 100644 tests/wp-cache/cache/a8e6337cb512c10286c6e1b2f0b2513c.json
 create mode 100644 tests/wp-cache/cache/c4706d26672432bc13ae0b4acac5a31b.json
 create mode 100644 tests/wp-cache/cache/fb37747238b7860c303daac9b3d1f842.json

diff --git a/tests/wp-cache/cache/02ec56fcf1c1a815b7db564e0b1f8eed.json b/tests/wp-cache/cache/02ec56fcf1c1a815b7db564e0b1f8eed.json
new file mode 100644
index 0000000..23b23de
--- /dev/null
+++ b/tests/wp-cache/cache/02ec56fcf1c1a815b7db564e0b1f8eed.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0047,
+  "steps": 29 }
diff --git a/tests/wp-cache/cache/243a414ad350253fcde34ef28d4b0805.json b/tests/wp-cache/cache/243a414ad350253fcde34ef28d4b0805.json
new file mode 100644
index 0000000..d00ca4f
--- /dev/null
+++ b/tests/wp-cache/cache/243a414ad350253fcde34ef28d4b0805.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0126,
+  "steps": 158 }
diff --git a/tests/wp-cache/cache/29fae1b03ae769dd9d5227abcf97e182.json b/tests/wp-cache/cache/29fae1b03ae769dd9d5227abcf97e182.json
new file mode 100644
index 0000000..17f432d
--- /dev/null
+++ b/tests/wp-cache/cache/29fae1b03ae769dd9d5227abcf97e182.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0124,
+  "steps": 47 }
diff --git a/tests/wp-cache/cache/3cc18422e0c163603d7aff88afcb9de5.json b/tests/wp-cache/cache/3cc18422e0c163603d7aff88afcb9de5.json
new file mode 100644
index 0000000..3533675
--- /dev/null
+++ b/tests/wp-cache/cache/3cc18422e0c163603d7aff88afcb9de5.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/60c47cb034783c49959264a81c38fb59.json b/tests/wp-cache/cache/60c47cb034783c49959264a81c38fb59.json
new file mode 100644
index 0000000..3533675
--- /dev/null
+++ b/tests/wp-cache/cache/60c47cb034783c49959264a81c38fb59.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/662be506be96b93077371c9197816490.json b/tests/wp-cache/cache/662be506be96b93077371c9197816490.json
new file mode 100644
index 0000000..3533675
--- /dev/null
+++ b/tests/wp-cache/cache/662be506be96b93077371c9197816490.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/704114ccfd125f30e51abb279169d8ab.json b/tests/wp-cache/cache/704114ccfd125f30e51abb279169d8ab.json
new file mode 100644
index 0000000..3533675
--- /dev/null
+++ b/tests/wp-cache/cache/704114ccfd125f30e51abb279169d8ab.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/73c1837214ac1fd111f9e883fc89a9c2.json b/tests/wp-cache/cache/73c1837214ac1fd111f9e883fc89a9c2.json
new file mode 100644
index 0000000..4e87997
--- /dev/null
+++ b/tests/wp-cache/cache/73c1837214ac1fd111f9e883fc89a9c2.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0125,
+  "steps": 157 }
diff --git a/tests/wp-cache/cache/a8e6337cb512c10286c6e1b2f0b2513c.json b/tests/wp-cache/cache/a8e6337cb512c10286c6e1b2f0b2513c.json
new file mode 100644
index 0000000..649bae5
--- /dev/null
+++ b/tests/wp-cache/cache/a8e6337cb512c10286c6e1b2f0b2513c.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0057,
+  "steps": 20 }
diff --git a/tests/wp-cache/cache/c4706d26672432bc13ae0b4acac5a31b.json b/tests/wp-cache/cache/c4706d26672432bc13ae0b4acac5a31b.json
new file mode 100644
index 0000000..3533675
--- /dev/null
+++ b/tests/wp-cache/cache/c4706d26672432bc13ae0b4acac5a31b.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/fb37747238b7860c303daac9b3d1f842.json b/tests/wp-cache/cache/fb37747238b7860c303daac9b3d1f842.json
new file mode 100644
index 0000000..c46f124
--- /dev/null
+++ b/tests/wp-cache/cache/fb37747238b7860c303daac9b3d1f842.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0047,
+  "steps": 20 }
-- 
GitLab