[tests] update wrong cache entries

027f311d · Virgile Prevosto · 12368574 · 027f311d · 027f311d
Commit 027f311d authored 3 years ago by Virgile Prevosto
--- a/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
+++ b/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0166,
+  "steps": 70 }
--- a/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
+++ b/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0098,
+  "steps": 22 }