[wp] update caches

src/plugins/wp/Makefile.in

@@ -145,6 +145,10 @@ wp-qualif: ./bin/toplevel.opt ./bin/ptests.opt
 	./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code
 
 wp-qualif-update: ./bin/toplevel.opt ./bin/ptests.opt
+	FRAMAC_WP_CACHE=update \
+		./bin/ptests.opt src/plugins/wp/tests -config qualif
+
+wp-qualif-upgrade: ./bin/toplevel.opt ./bin/ptests.opt
 	FRAMAC_WP_CACHE=update \
 	FRAMAC_WP_SCRIPT=update \
 		./bin/ptests.opt src/plugins/wp/tests -config qualif

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.3682,
+  "steps": 535 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1518,
+  "steps": 166 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2975,
+  "steps": 533 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2665,
+  "steps": 536 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2204,
+  "steps": 567 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1849,
+  "steps": 172 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2162,
+  "steps": 539 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2094,
+  "steps": 557 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1185,
+  "steps": 172 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2524,
+  "steps": 531 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1041,
+  "steps": 168 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.212,
+  "steps": 535 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2572,
+  "steps": 543 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1663,
+  "steps": 172 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2533,
+  "steps": 535 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1092,
+  "steps": 172 }

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

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.1496,
+  "steps": 172 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/float_const.0.session/cache/034d72d9106e3380325aa1d67bc6e530.json

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.2325,
+  "steps": 551 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/float_const.0.session/cache/0c30085628a552390ece72f72470887c.json

+{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 1.0112,
+  "steps": 1546 }