From e390eaa021d0ee12171c61d41a1d340dcb9f7852 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 4 Apr 2022 10:52:30 +0200
Subject: [PATCH] [tests] update wp-cache
---
tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json | 2 +-
tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json | 1 -
tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json | 2 +-
tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json | 2 +-
tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json | 2 --
tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json | 2 --
tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json | 2 +-
tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json | 2 --
tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json | 2 +-
tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json | 1 -
tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json | 2 --
tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json | 1 -
tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json | 2 --
...8aadc6de1bc5e.json => dfc84361d864aec8ba54ab86ca6f5513.json} | 0
tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json | 2 --
15 files changed, 5 insertions(+), 20 deletions(-)
delete mode 100644 tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json
delete mode 100644 tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json
delete mode 100644 tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json
delete mode 100644 tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json
delete mode 100644 tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json
delete mode 100644 tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json
delete mode 100644 tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json
delete mode 100644 tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json
rename tests/wp-cache/cache/{0e7fd5a62a27e32132a8aadc6de1bc5e.json => dfc84361d864aec8ba54ab86ca6f5513.json} (100%)
delete mode 100644 tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json
diff --git a/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json b/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json
index ffb25c4b..7daf0fa3 100644
--- a/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json
+++ b/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0194,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0068,
"steps": 14 }
diff --git a/tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json b/tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json
deleted file mode 100644
index 56c39550..00000000
--- a/tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }
diff --git a/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json b/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json
index 8ef448a8..1506a760 100644
--- a/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json
+++ b/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0087,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0047,
"steps": 5 }
diff --git a/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json b/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json
index 30d76e32..99b893ca 100644
--- a/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json
+++ b/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0098,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0047,
"steps": 4 }
diff --git a/tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json b/tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json
deleted file mode 100644
index fb01e1e3..00000000
--- a/tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0065,
- "steps": 4 }
diff --git a/tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json b/tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json
deleted file mode 100644
index 7b2b9ee7..00000000
--- a/tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
- "steps": 7 }
diff --git a/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json b/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json
index ce94a6ec..2fa1b3e8 100644
--- a/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json
+++ b/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0027,
"steps": 7 }
diff --git a/tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json b/tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json
deleted file mode 100644
index 79901d73..00000000
--- a/tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0068,
- "steps": 5 }
diff --git a/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json b/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json
index 3813aaa9..01c7264f 100644
--- a/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json
+++ b/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0083,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0038,
"steps": 6 }
diff --git a/tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json b/tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json
deleted file mode 100644
index b8e36e28..00000000
--- a/tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json b/tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json
deleted file mode 100644
index 5c430d21..00000000
--- a/tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0024,
- "steps": 6 }
diff --git a/tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json b/tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json
deleted file mode 100644
index 8256dcea..00000000
--- a/tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "unknown" }
diff --git a/tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json b/tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json
deleted file mode 100644
index 05f20b89..00000000
--- a/tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0135,
- "steps": 14 }
diff --git a/tests/wp-cache/cache/0e7fd5a62a27e32132a8aadc6de1bc5e.json b/tests/wp-cache/cache/dfc84361d864aec8ba54ab86ca6f5513.json
similarity index 100%
rename from tests/wp-cache/cache/0e7fd5a62a27e32132a8aadc6de1bc5e.json
rename to tests/wp-cache/cache/dfc84361d864aec8ba54ab86ca6f5513.json
diff --git a/tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json b/tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json
deleted file mode 100644
index a854dd8b..00000000
--- a/tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0077,
- "steps": 3 }
--
GitLab