Merge branch 'feature/wp/update-cache' into 'master'

[wp] cache updates

See merge request frama-c/frama-c!2596

src/plugins/wp/tests/wp/oracle_qualif/sharing.0.session/cache/08a266d8ed47524ea462446955f56846.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1839,
+  "steps": 35 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_path.0.session/cache/9c4dd961e0443b101eb51979ae15b5c1.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.029,
+  "steps": 23 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_path.0.session/cache/a789e11c15e566b594c893a9d69b77b8.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0272,
+  "steps": 20 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_path.0.session/cache/f95876c31865b8f2909e450d06c08e6c.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0215,
+  "steps": 17 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/6044af008ca0e2c7fcccdd5236af32af.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0521,
+  "steps": 70 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/6094e7c19eba3f50fb8b90f9528226e9.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0214,
+  "steps": 14 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/78b4274586b7b6ac948dbd0f36d4c1e3.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/a7988461f3fa13ce0532e386a9323033.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0339,
+  "steps": 32 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/dbf4a65cfc0e20fdc41c28df5f546971.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0233,
+  "steps": 19 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/f4ca48ef31089fb2cf5facb451a37704.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0382,
+  "steps": 45 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.0.session/cache/fa725e97995b55101c0cf42a29c0f813.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/base_offset.0.session/cache/a36ac87b7682612f29171f0561dcd7f5.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.0.session/cache/0a905fe4d67333c2edc713c01cc378f7.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0667,
+  "steps": 88 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.0.session/cache/e415e5ac31242f42e0ec3f9659d65967.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0687,
+  "steps": 86 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.0.session/cache/f23d47414c80f975ea6a853ebf08af80.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0968,
+  "steps": 88 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/equal.0.session/cache/37ca01b8d9af3adaa85337898f17bbcf.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0107,
+  "steps": 9 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/equal.0.session/cache/e693f887cbaf3748fcba8d0e78496a04.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0194,
+  "steps": 12 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/equal.0.session/cache/fb71b4e14680e40fdfe23d5a71f51776.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0238,
+  "steps": 26 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/float_compare.0.session/cache/0d2abb971445d7e4694380d263060055.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0928,
+  "steps": 112 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/float_compare.0.session/cache/1932508452358e4ae474447d8950a0af.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0692,
+  "steps": 106 }