Merge branch 'stable/chromium'

.gitignore

@@ -28,7 +28,6 @@
 /tests/*/*/result/
 /tests/*/result_*/
 /tests/*/*.opt
-/tests/wp-cache/*
 
 # Distribution artefacts
 /frama-c-metacsl.tar.gz

tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0113,
+  "steps": 93 }

tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }

tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0229,
+  "steps": 65 }

tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0307,
+  "steps": 70 }

tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0193,
+  "steps": 24 }

tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0124,
+  "steps": 22 }

tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0053,
+  "steps": 32 }

tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0046,
+  "steps": 22 }

tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0069,
+  "steps": 51 }

tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0215,
+  "steps": 70 }

tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0121,
+  "steps": 24 }

tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0135,
+  "steps": 163 }

tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json

+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0073,
+  "steps": 22 }

tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0129,
+  "steps": 24 }