[tests] update wp cache

9b0b831d · Virgile Prevosto · 4883ced3 · 9b0b831d · 9b0b831d · 9b0b831d
Commit 9b0b831d authored Apr 06, 2022 by Virgile Prevosto
--- a/tests/wp-cache/cache/0fa599077180e47d9bd51071d0e4da1d.json
+++ b/tests/wp-cache/cache/0fa599077180e47d9bd51071d0e4da1d.json
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
--- a/tests/wp-cache/cache/148a29ac158530979cea0d90d46cd3f4.json
+++ b/tests/wp-cache/cache/148a29ac158530979cea0d90d46cd3f4.json
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
--- a/tests/wp-cache/cache/3175ef7c1bf4286af1d3bf25273fd47a.json
+++ b/tests/wp-cache/cache/3175ef7c1bf4286af1d3bf25273fd47a.json
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 10. }
--- a/tests/wp-cache/cache/3b317c940dc57f8afe9307cf2576cc8e.json
+++ b/tests/wp-cache/cache/3b317c940dc57f8afe9307cf2576cc8e.json
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
--- a/tests/wp-cache/cache/50a23108e74dd4458f71a72665fd0e4e.json
+++ b/tests/wp-cache/cache/50a23108e74dd4458f71a72665fd0e4e.json
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 10. }
--- a/tests/wp-cache/cache/bd2888e09acc65566273490df15a15bc.json
+++ b/tests/wp-cache/cache/bd2888e09acc65566273490df15a15bc.json
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
--- a/tests/wp-cache/cache/d2f786add209e6d020b195f962fa2e0d.json
+++ b/tests/wp-cache/cache/d2f786add209e6d020b195f962fa2e0d.json
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
--- a/tests/wp-cache/cache/f1b6dae9320e5d45f7d0ded0e7ed72e3.json
+++ b/tests/wp-cache/cache/f1b6dae9320e5d45f7d0ded0e7ed72e3.json
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }