From c59871bf0cc5414cfb4a90f6b557356b3573c896 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 25 Sep 2020 16:08:45 +0200
Subject: [PATCH] [wp] Removes old cache entries and update oracles
---
.../wp/tests/wp_acsl/oracle/memvar_chunk_typing.res.oracle | 1 -
.../cache/04c1fcb3dde99404e56f398c9d3c7b31.json | 2 --
.../cache/09419c3fbb6dc84c7ea4daf3841c155f.json | 2 --
.../cache/0af3d5135623c7629e8792c15c73e11e.json | 2 --
.../cache/1d2ed0d831c17546d006475b478b59c1.json | 2 --
.../cache/281d06f1268fc1f6bae73c9b23a370f6.json | 2 --
.../cache/35644610983981a71b83b5427a68f6c0.json | 2 --
.../cache/6367c7d1e56f1af80ad76d813e09b66a.json | 2 --
.../cache/675a842c7ec32528e5e21888634a1279.json | 2 --
.../cache/7ea33aa4c8dc9c1ed12a312a5a7b96ed.json | 2 --
.../cache/a76226839c540aad032cd3b9de095b89.json | 2 --
.../cache/bd67f73e3ff115a9f45b4244c20611fe.json | 2 --
.../cache/e046513e2f30f1a1946d5d6e40ef9129.json | 2 --
.../cache/e434135b1fa122e6a232e26709df80a5.json | 2 --
.../cache/e8e066b606c41e89f82b2aa3eef46a68.json | 2 --
.../cache/e9c784c595bc40819eff858fbcc12bab.json | 2 --
.../cache/efda69b6f9003dcb53f99c442ec8c4de.json | 2 --
.../cache/f6b163a1cc48d21b279ce315660ffd85.json | 2 --
.../cache/f97c74763d0222ed9be7c3fa666ce4e9.json | 2 --
.../cache/feca65e917b9c99c3286ceebc5a4d618.json | 2 --
.../cache/23316fd95fd7b645f6e7ee1ac0ec11dd.json | 2 --
.../cache/af1c6e5e9ad0ce51ef02350de25db7b1.json | 1 -
.../cache/e7547aa0621803b4e7d628af9dae8742.json | 2 --
.../cache/0aaa8433bdd863a175c8f7aa27b5b23b.json | 1 -
.../cache/1235102376d88a3bdb52f3e4e1c49883.json | 2 --
.../cache/55cf143d013d4eb3345feb58b26b90df.json | 2 --
.../cache/6203cf6d36b297213c87a78442bb23a3.json | 1 -
.../cache/7d35e079640e61a3109774eff9ba7fe6.json | 1 -
.../cache/bd22ac48c200239c37396cb5c074a071.json | 1 -
.../cache/d3883c78b48ca2e9439df35f88b59d8c.json | 1 -
.../cache/da21dd780a181597dd44b362df8f5670.json | 1 -
.../cache/320f90061a8c50bf116b388e086c7897.json | 2 --
.../logic.0.session/cache/28c1570cd2d3e97ddd579e328c469acf.json | 1 -
.../logic.0.session/cache/5bfdad2f5b18af371b905b94799e1cc0.json | 2 --
.../logic.0.session/cache/7ac4f3e9696602b90e6fd7dbef86293c.json | 2 --
.../logic.0.session/cache/c520b8395718f1f484266fd4e5983d1e.json | 2 --
.../cache/28ec4268b539503760829aad231d95a9.json | 2 --
.../tests/wp_acsl/oracle_qualif/memvar_chunk_typing.res.oracle | 1 -
.../cache/647e4705204771b6a78e805ee29cba26.json | 1 -
.../cache/94f13affa6f3b5126e172fdc6062be2e.json | 2 --
.../cache/10fef2083d54144639f0b6cd94778cb5.json | 2 --
.../cache/52fdcb4ddd856ebb4464834c99aebae0.json | 2 --
.../cache/76a1b1317f2520ef9a599a12e344730d.json | 2 --
.../cache/786eb6ddc8b4a1c15c3182f42e302b10.json | 2 --
.../cache/c47ae970e7baa8aa14a744f568b77922.json | 2 --
.../cache/d3570f7a7a9be38c8599ac1773a618a2.json | 2 --
.../find.0.session/cache/08ff774ac6a70674d784cefe233dc1ab.json | 2 --
.../find.0.session/cache/82750bb2b6c7b7cda9f4f22eea23f1ef.json | 2 --
.../find.0.session/cache/e6bfe72a35736c49013701f4e6cc2d7c.json | 2 --
.../cache/152adf213328a70d06d3041ea7eca814.json | 1 -
.../cache/cdfaa1f77a537214fe4d4d473da0c93f.json | 2 --
.../cache/dbca0c75b09289a0939a4568bccb8ffe.json | 2 --
.../cache/e3abd032ee5753e542d0c3d7701189e4.json | 2 --
.../cache/ce56b654edab77f40b10056e97cc5df5.json | 2 --
.../cache/2de8075c9ff8cf4d4f231608bed835a9.json | 2 --
.../cache/91244a7f80eb57f7181e1278e1172cc9.json | 2 --
.../cache/a59cc9b3f7f8b4a6624a1d1232662c22.json | 2 --
.../cache/a93f056d32a8ace3dd916b64068f94c2.json | 2 --
.../cache/aafe330c4b6932bf122ff6509f3fc2b0.json | 2 --
.../cache/0d14213263b1d1def509095c28e95ea9.json | 2 --
.../cache/5c04a7d9d73560b7116ff3914824c36d.json | 2 --
.../cache/7cf5fa10093d1ce2fd3940954cba0727.json | 2 --
.../cache/857d1f9981d68d1406859c8aae1b4639.json | 2 --
.../cache/9ad7d025e7eb0eec65fb3551668328c9.json | 2 --
.../cache/0ee6d92adc52cf841d8f421ae8b9d2f2.json | 2 --
.../cache/0f47526247a0528c7b0b8c8e945b32bd.json | 2 --
.../cache/3220ff8d08680b2082f90cfbabe5515c.json | 2 --
.../cache/3c1da17d2eb3aa57d9920fdbb8fdc9ff.json | 2 --
.../cache/f6d37791a1137bc07941a661f2333b7e.json | 2 --
.../cache/0748144945def11ea300e135d8482e4a.json | 2 --
.../cache/0b916424d61743046a3a8aa2d1980ca0.json | 2 --
.../cache/0f63fa83c61794d80fd003f133e182a7.json | 2 --
.../cache/1784d421c70ac778d245b285417fda0f.json | 2 --
.../cache/1fe4ca1fb351003ccbd8755355135f8a.json | 2 --
.../cache/21a3de19df739b18752521529d786b4b.json | 2 --
.../cache/25def53021ebb0a8629e796358a6848b.json | 2 --
.../cache/27bf4adc6f09a58eafeabec80e08e561.json | 2 --
.../cache/2ad8e6939da759ba7083da389f70b19a.json | 2 --
.../cache/2b04374aa95473cfa45c6abca5d0fe15.json | 2 --
.../cache/2de5619cd6bf8a4549f18cbf2daefbba.json | 2 --
.../cache/3b096d1ad2f60d27d68c9819789fceb4.json | 2 --
.../cache/3d5c736c9ebc4a910745c54e3f810000.json | 2 --
.../cache/4524f3b1a3aaeae1f14f29cffc5532b4.json | 2 --
.../cache/45fc8639c2e8c14a8ba57fe664c24c9d.json | 2 --
.../cache/4833c149c493290f7476cb694c326889.json | 2 --
.../cache/51225dc69fc56402c586cbf2cad99281.json | 2 --
.../cache/5998e90eb1b10fc1fd4ff54e6ef5689e.json | 2 --
.../cache/5d20435c0b8e9bb4e51ab262b3129648.json | 2 --
.../cache/5d3f4ea5bf6dc3f773faf7e0d63f1c76.json | 2 --
.../cache/6e15ce103fe14e50af7e0936d1d2a924.json | 1 -
.../cache/75158755074596f3fba764a01a862cea.json | 2 --
.../cache/77066c103c80ea4e5f9b5605057d8d03.json | 2 --
.../cache/78c65afc8eeed0925d1f9c68b047f97a.json | 2 --
.../cache/7e81584b97fe9a89bed8cd913741db47.json | 2 --
.../cache/805d516e173e9a1980e332963ed26853.json | 2 --
.../cache/85bd4f374f9098d4767c14833e05b5b8.json | 2 --
.../cache/904dfd55419e9da26d6710c5e3bb2512.json | 2 --
.../cache/93d52e79f66a5fbbf8a8d577d910215e.json | 2 --
.../cache/9e3b12919ddd0b7f3deeaa63da75f6e5.json | 2 --
.../cache/a82a6af66093c860d0011d4f227136d1.json | 2 --
.../cache/a8e0d95eaca351657706fd30bd03bea1.json | 2 --
.../cache/a9311c935f353c4d4cea656ea0ab8a1e.json | 2 --
.../cache/b2ad64f1c1643c7dd2550c00a9074f69.json | 2 --
.../cache/b2ddcd489f338024c524107b6e504a00.json | 2 --
.../cache/bfe86eb3dc31cfbaa90471047107b2d3.json | 2 --
.../cache/c89d9d7df15c1516409d246b82b8c1f0.json | 2 --
.../cache/cf7eaa96c53ed9bc0ce7eef2ff6d4785.json | 2 --
.../cache/d73fc9500445fd11b1277eb233677128.json | 2 --
.../cache/dfb4426937ac0dd3319b8d97b1113ef1.json | 2 --
.../cache/e3c7c32c0e592dcd434f4f389ed60f36.json | 2 --
.../cache/e90a80dc6573ff3be6973ff12e676e32.json | 2 --
.../cache/ef4bb98ab16552a98c74ec0913047b5d.json | 2 --
.../cache/f6abbe317c0d2a1424b05d2fb7e4bd9b.json | 2 --
.../cache/f9262c0413f25f71d0ae44d4744746f0.json | 2 --
.../cache/1097cb045925dc7690981f0f528ee5d4.json | 2 --
.../cache/d89912a1e879d06f335b8d985cb804f3.json | 2 --
.../cache/de777917ace9bbef5272bb764ddd82c2.json | 2 --
.../cache/3016a12fe9f82a49a0ff618ae2acf170.json | 2 --
.../cache/3016a12fe9f82a49a0ff618ae2acf170.json | 2 --
.../rte.0.session/cache/89c62021b110300d0866feac14bd7c45.json | 1 -
.../rte.0.session/cache/b602aeb805673b0805c79216c3ced563.json | 1 -
.../cache/8d2cbdde2b0c4740b0467e8f84939e0d.json | 2 --
122 files changed, 229 deletions(-)
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/04c1fcb3dde99404e56f398c9d3c7b31.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/09419c3fbb6dc84c7ea4daf3841c155f.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/0af3d5135623c7629e8792c15c73e11e.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/1d2ed0d831c17546d006475b478b59c1.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/281d06f1268fc1f6bae73c9b23a370f6.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/35644610983981a71b83b5427a68f6c0.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/6367c7d1e56f1af80ad76d813e09b66a.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/675a842c7ec32528e5e21888634a1279.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/7ea33aa4c8dc9c1ed12a312a5a7b96ed.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/a76226839c540aad032cd3b9de095b89.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/bd67f73e3ff115a9f45b4244c20611fe.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e046513e2f30f1a1946d5d6e40ef9129.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e434135b1fa122e6a232e26709df80a5.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e8e066b606c41e89f82b2aa3eef46a68.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e9c784c595bc40819eff858fbcc12bab.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/efda69b6f9003dcb53f99c442ec8c4de.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f6b163a1cc48d21b279ce315660ffd85.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f97c74763d0222ed9be7c3fa666ce4e9.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/feca65e917b9c99c3286ceebc5a4d618.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/23316fd95fd7b645f6e7ee1ac0ec11dd.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/af1c6e5e9ad0ce51ef02350de25db7b1.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/e7547aa0621803b4e7d628af9dae8742.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/0aaa8433bdd863a175c8f7aa27b5b23b.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/1235102376d88a3bdb52f3e4e1c49883.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/55cf143d013d4eb3345feb58b26b90df.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/6203cf6d36b297213c87a78442bb23a3.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/7d35e079640e61a3109774eff9ba7fe6.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/bd22ac48c200239c37396cb5c074a071.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/d3883c78b48ca2e9439df35f88b59d8c.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/da21dd780a181597dd44b362df8f5670.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value_mem.0.session/cache/320f90061a8c50bf116b388e086c7897.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/28c1570cd2d3e97ddd579e328c469acf.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/5bfdad2f5b18af371b905b94799e1cc0.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/7ac4f3e9696602b90e6fd7dbef86293c.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/c520b8395718f1f484266fd4e5983d1e.json
delete mode 100644 src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.0.session/cache/28ec4268b539503760829aad231d95a9.json
delete mode 100644 src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/647e4705204771b6a78e805ee29cba26.json
delete mode 100644 src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/94f13affa6f3b5126e172fdc6062be2e.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/10fef2083d54144639f0b6cd94778cb5.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/52fdcb4ddd856ebb4464834c99aebae0.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/76a1b1317f2520ef9a599a12e344730d.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/786eb6ddc8b4a1c15c3182f42e302b10.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/c47ae970e7baa8aa14a744f568b77922.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.0.session/cache/d3570f7a7a9be38c8599ac1773a618a2.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/08ff774ac6a70674d784cefe233dc1ab.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/82750bb2b6c7b7cda9f4f22eea23f1ef.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/e6bfe72a35736c49013701f4e6cc2d7c.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/152adf213328a70d06d3041ea7eca814.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/cdfaa1f77a537214fe4d4d473da0c93f.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/dbca0c75b09289a0939a4568bccb8ffe.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/e3abd032ee5753e542d0c3d7701189e4.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.0.session/cache/ce56b654edab77f40b10056e97cc5df5.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/2de8075c9ff8cf4d4f231608bed835a9.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/91244a7f80eb57f7181e1278e1172cc9.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a59cc9b3f7f8b4a6624a1d1232662c22.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a93f056d32a8ace3dd916b64068f94c2.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/aafe330c4b6932bf122ff6509f3fc2b0.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/0d14213263b1d1def509095c28e95ea9.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/5c04a7d9d73560b7116ff3914824c36d.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/7cf5fa10093d1ce2fd3940954cba0727.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/857d1f9981d68d1406859c8aae1b4639.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/9ad7d025e7eb0eec65fb3551668328c9.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0ee6d92adc52cf841d8f421ae8b9d2f2.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0f47526247a0528c7b0b8c8e945b32bd.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3220ff8d08680b2082f90cfbabe5515c.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3c1da17d2eb3aa57d9920fdbb8fdc9ff.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/f6d37791a1137bc07941a661f2333b7e.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0748144945def11ea300e135d8482e4a.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0b916424d61743046a3a8aa2d1980ca0.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0f63fa83c61794d80fd003f133e182a7.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1784d421c70ac778d245b285417fda0f.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1fe4ca1fb351003ccbd8755355135f8a.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/21a3de19df739b18752521529d786b4b.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/25def53021ebb0a8629e796358a6848b.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/27bf4adc6f09a58eafeabec80e08e561.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2ad8e6939da759ba7083da389f70b19a.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2b04374aa95473cfa45c6abca5d0fe15.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2de5619cd6bf8a4549f18cbf2daefbba.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3b096d1ad2f60d27d68c9819789fceb4.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3d5c736c9ebc4a910745c54e3f810000.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4524f3b1a3aaeae1f14f29cffc5532b4.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/45fc8639c2e8c14a8ba57fe664c24c9d.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4833c149c493290f7476cb694c326889.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/51225dc69fc56402c586cbf2cad99281.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5998e90eb1b10fc1fd4ff54e6ef5689e.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d20435c0b8e9bb4e51ab262b3129648.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d3f4ea5bf6dc3f773faf7e0d63f1c76.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/6e15ce103fe14e50af7e0936d1d2a924.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/75158755074596f3fba764a01a862cea.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/77066c103c80ea4e5f9b5605057d8d03.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/78c65afc8eeed0925d1f9c68b047f97a.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/7e81584b97fe9a89bed8cd913741db47.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/805d516e173e9a1980e332963ed26853.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/85bd4f374f9098d4767c14833e05b5b8.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/904dfd55419e9da26d6710c5e3bb2512.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/93d52e79f66a5fbbf8a8d577d910215e.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/9e3b12919ddd0b7f3deeaa63da75f6e5.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a82a6af66093c860d0011d4f227136d1.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a8e0d95eaca351657706fd30bd03bea1.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a9311c935f353c4d4cea656ea0ab8a1e.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ad64f1c1643c7dd2550c00a9074f69.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ddcd489f338024c524107b6e504a00.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/bfe86eb3dc31cfbaa90471047107b2d3.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/c89d9d7df15c1516409d246b82b8c1f0.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/cf7eaa96c53ed9bc0ce7eef2ff6d4785.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/d73fc9500445fd11b1277eb233677128.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/dfb4426937ac0dd3319b8d97b1113ef1.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e3c7c32c0e592dcd434f4f389ed60f36.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e90a80dc6573ff3be6973ff12e676e32.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/ef4bb98ab16552a98c74ec0913047b5d.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f6abbe317c0d2a1424b05d2fb7e4bd9b.json
delete mode 100644 src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f9262c0413f25f71d0ae44d4744746f0.json
delete mode 100644 src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/1097cb045925dc7690981f0f528ee5d4.json
delete mode 100644 src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/d89912a1e879d06f335b8d985cb804f3.json
delete mode 100644 src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/de777917ace9bbef5272bb764ddd82c2.json
delete mode 100644 src/plugins/wp/tests/wp_manual/oracle_qualif/manual.1.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json
delete mode 100644 src/plugins/wp/tests/wp_manual/oracle_qualif/manual.2.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json
delete mode 100644 src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/89c62021b110300d0866feac14bd7c45.json
delete mode 100644 src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/b602aeb805673b0805c79216c3ced563.json
delete mode 100644 src/plugins/wp/tests/wp_store/oracle_qualif/struct.0.session/cache/8d2cbdde2b0c4740b0467e8f84939e0d.json
diff --git a/src/plugins/wp/tests/wp_acsl/oracle/memvar_chunk_typing.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle/memvar_chunk_typing.res.oracle
index ba74f1ad34b..26231a706b7 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle/memvar_chunk_typing.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle/memvar_chunk_typing.res.oracle
@@ -1,7 +1,6 @@
# frama-c -wp -wp-rte [...]
[kernel] Parsing tests/wp_acsl/memvar_chunk_typing.i (no preprocessing)
[wp] Running WP plugin...
-[wp] Loading driver 'share/wp.driver'
------------------------------------------------------------
Global
------------------------------------------------------------
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/04c1fcb3dde99404e56f398c9d3c7b31.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/04c1fcb3dde99404e56f398c9d3c7b31.json
deleted file mode 100644
index bf03e943986..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/04c1fcb3dde99404e56f398c9d3c7b31.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1563,
- "steps": 286 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/09419c3fbb6dc84c7ea4daf3841c155f.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/09419c3fbb6dc84c7ea4daf3841c155f.json
deleted file mode 100644
index 15c20e5cfc0..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/09419c3fbb6dc84c7ea4daf3841c155f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0323,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/0af3d5135623c7629e8792c15c73e11e.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/0af3d5135623c7629e8792c15c73e11e.json
deleted file mode 100644
index 15c20e5cfc0..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/0af3d5135623c7629e8792c15c73e11e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0323,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/1d2ed0d831c17546d006475b478b59c1.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/1d2ed0d831c17546d006475b478b59c1.json
deleted file mode 100644
index 79dc4338f21..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/1d2ed0d831c17546d006475b478b59c1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0322,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/281d06f1268fc1f6bae73c9b23a370f6.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/281d06f1268fc1f6bae73c9b23a370f6.json
deleted file mode 100644
index 2172e49206c..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/281d06f1268fc1f6bae73c9b23a370f6.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0337,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/35644610983981a71b83b5427a68f6c0.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/35644610983981a71b83b5427a68f6c0.json
deleted file mode 100644
index d226fb9296c..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/35644610983981a71b83b5427a68f6c0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0377,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/6367c7d1e56f1af80ad76d813e09b66a.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/6367c7d1e56f1af80ad76d813e09b66a.json
deleted file mode 100644
index 1cb9dc92527..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/6367c7d1e56f1af80ad76d813e09b66a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.138,
- "steps": 269 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/675a842c7ec32528e5e21888634a1279.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/675a842c7ec32528e5e21888634a1279.json
deleted file mode 100644
index d05c7f00bb2..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/675a842c7ec32528e5e21888634a1279.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0463,
- "steps": 123 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/7ea33aa4c8dc9c1ed12a312a5a7b96ed.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/7ea33aa4c8dc9c1ed12a312a5a7b96ed.json
deleted file mode 100644
index fbd18991a8f..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/7ea33aa4c8dc9c1ed12a312a5a7b96ed.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1203,
- "steps": 252 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/a76226839c540aad032cd3b9de095b89.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/a76226839c540aad032cd3b9de095b89.json
deleted file mode 100644
index 9749d24da27..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/a76226839c540aad032cd3b9de095b89.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1085,
- "steps": 235 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/bd67f73e3ff115a9f45b4244c20611fe.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/bd67f73e3ff115a9f45b4244c20611fe.json
deleted file mode 100644
index 9a8316dd72e..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/bd67f73e3ff115a9f45b4244c20611fe.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0154,
- "steps": 64 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e046513e2f30f1a1946d5d6e40ef9129.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e046513e2f30f1a1946d5d6e40ef9129.json
deleted file mode 100644
index cf65d980e11..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e046513e2f30f1a1946d5d6e40ef9129.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0847,
- "steps": 184 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e434135b1fa122e6a232e26709df80a5.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e434135b1fa122e6a232e26709df80a5.json
deleted file mode 100644
index 143a1e69e0b..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e434135b1fa122e6a232e26709df80a5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0129,
- "steps": 62 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e8e066b606c41e89f82b2aa3eef46a68.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e8e066b606c41e89f82b2aa3eef46a68.json
deleted file mode 100644
index b2a493adaa4..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e8e066b606c41e89f82b2aa3eef46a68.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0853,
- "steps": 201 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e9c784c595bc40819eff858fbcc12bab.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e9c784c595bc40819eff858fbcc12bab.json
deleted file mode 100644
index ef833bf2578..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/e9c784c595bc40819eff858fbcc12bab.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0314,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/efda69b6f9003dcb53f99c442ec8c4de.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/efda69b6f9003dcb53f99c442ec8c4de.json
deleted file mode 100644
index 72229c47d0f..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/efda69b6f9003dcb53f99c442ec8c4de.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0722,
- "steps": 167 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f6b163a1cc48d21b279ce315660ffd85.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f6b163a1cc48d21b279ce315660ffd85.json
deleted file mode 100644
index ac1b7fec88f..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f6b163a1cc48d21b279ce315660ffd85.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0881,
- "steps": 218 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f97c74763d0222ed9be7c3fa666ce4e9.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f97c74763d0222ed9be7c3fa666ce4e9.json
deleted file mode 100644
index d3cae1db457..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/f97c74763d0222ed9be7c3fa666ce4e9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0487,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/feca65e917b9c99c3286ceebc5a4d618.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/feca65e917b9c99c3286ceebc5a4d618.json
deleted file mode 100644
index ac5ca13418a..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.0.session/cache/feca65e917b9c99c3286ceebc5a4d618.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0324,
- "steps": 171 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/23316fd95fd7b645f6e7ee1ac0ec11dd.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/23316fd95fd7b645f6e7ee1ac0ec11dd.json
deleted file mode 100644
index ca8a4ddf594..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/23316fd95fd7b645f6e7ee1ac0ec11dd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0096,
- "steps": 17 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/af1c6e5e9ad0ce51ef02350de25db7b1.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/af1c6e5e9ad0ce51ef02350de25db7b1.json
deleted file mode 100644
index b8e36e2803f..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/af1c6e5e9ad0ce51ef02350de25db7b1.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/e7547aa0621803b4e7d628af9dae8742.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/e7547aa0621803b4e7d628af9dae8742.json
deleted file mode 100644
index b4eff8a25e7..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.0.session/cache/e7547aa0621803b4e7d628af9dae8742.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0148,
- "steps": 21 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/0aaa8433bdd863a175c8f7aa27b5b23b.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/0aaa8433bdd863a175c8f7aa27b5b23b.json
deleted file mode 100644
index e4c3de15c1a..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/0aaa8433bdd863a175c8f7aa27b5b23b.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 1. }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/1235102376d88a3bdb52f3e4e1c49883.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/1235102376d88a3bdb52f3e4e1c49883.json
deleted file mode 100644
index 5a95e44801c..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/1235102376d88a3bdb52f3e4e1c49883.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0079,
- "steps": 10 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/55cf143d013d4eb3345feb58b26b90df.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/55cf143d013d4eb3345feb58b26b90df.json
deleted file mode 100644
index 741d4bc44f1..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/55cf143d013d4eb3345feb58b26b90df.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0082,
- "steps": 10 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/6203cf6d36b297213c87a78442bb23a3.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/6203cf6d36b297213c87a78442bb23a3.json
deleted file mode 100644
index 56c39550428..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/6203cf6d36b297213c87a78442bb23a3.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/7d35e079640e61a3109774eff9ba7fe6.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/7d35e079640e61a3109774eff9ba7fe6.json
deleted file mode 100644
index e4c3de15c1a..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/7d35e079640e61a3109774eff9ba7fe6.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 1. }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/bd22ac48c200239c37396cb5c074a071.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/bd22ac48c200239c37396cb5c074a071.json
deleted file mode 100644
index 56c39550428..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/bd22ac48c200239c37396cb5c074a071.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/d3883c78b48ca2e9439df35f88b59d8c.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/d3883c78b48ca2e9439df35f88b59d8c.json
deleted file mode 100644
index e4c3de15c1a..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/d3883c78b48ca2e9439df35f88b59d8c.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 1. }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/da21dd780a181597dd44b362df8f5670.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/da21dd780a181597dd44b362df8f5670.json
deleted file mode 100644
index e4c3de15c1a..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.0.session/cache/da21dd780a181597dd44b362df8f5670.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 1. }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value_mem.0.session/cache/320f90061a8c50bf116b388e086c7897.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value_mem.0.session/cache/320f90061a8c50bf116b388e086c7897.json
deleted file mode 100644
index 066974fb605..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value_mem.0.session/cache/320f90061a8c50bf116b388e086c7897.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
- "steps": 35 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/28c1570cd2d3e97ddd579e328c469acf.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/28c1570cd2d3e97ddd579e328c469acf.json
deleted file mode 100644
index b8e36e2803f..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/28c1570cd2d3e97ddd579e328c469acf.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/5bfdad2f5b18af371b905b94799e1cc0.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/5bfdad2f5b18af371b905b94799e1cc0.json
deleted file mode 100644
index 2eb44ba21a5..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/5bfdad2f5b18af371b905b94799e1cc0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0095,
- "steps": 52 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/7ac4f3e9696602b90e6fd7dbef86293c.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/7ac4f3e9696602b90e6fd7dbef86293c.json
deleted file mode 100644
index c9b1db9c4af..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/7ac4f3e9696602b90e6fd7dbef86293c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0181,
- "steps": 45 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/c520b8395718f1f484266fd4e5983d1e.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/c520b8395718f1f484266fd4e5983d1e.json
deleted file mode 100644
index a197c97ceb4..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.session/cache/c520b8395718f1f484266fd4e5983d1e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.013,
- "steps": 25 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.0.session/cache/28ec4268b539503760829aad231d95a9.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.0.session/cache/28ec4268b539503760829aad231d95a9.json
deleted file mode 100644
index 0001a8311c2..00000000000
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.0.session/cache/28ec4268b539503760829aad231d95a9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0108,
- "steps": 19 }
diff --git a/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.res.oracle
index c13e7796ebc..b6dab655323 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle_qualif/memvar_chunk_typing.res.oracle
@@ -1,7 +1,6 @@
# frama-c -wp -wp-rte [...]
[kernel] Parsing tests/wp_acsl/memvar_chunk_typing.i (no preprocessing)
[wp] Running WP plugin...
-[wp] Loading driver 'share/wp.driver'
[wp] 1 goal scheduled
[wp] [Alt-Ergo] Goal typed_lemma_L : Valid
[wp] Proved goals: 1 / 1
diff --git a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/647e4705204771b6a78e805ee29cba26.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/647e4705204771b6a78e805ee29cba26.json
deleted file mode 100644
index b8e36e2803f..00000000000
--- a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/647e4705204771b6a78e805ee29cba26.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/94f13affa6f3b5126e172fdc6062be2e.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/94f13affa6f3b5126e172fdc6062be2e.json
deleted file mode 100644
index c9419cd7789..00000000000
--- a/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.0.session/cache/94f13affa6f3b5126e172fdc6062be2e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0115,
- "steps": 17 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/10fef2083d54144639f0b6cd94778cb5.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/10fef2083d54144639f0b6cd94778cb5.json
deleted file mode 100644
index 12b29ad9f00..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/10fef2083d54144639f0b6cd94778cb5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0189,
- "steps": 67 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/52fdcb4ddd856ebb4464834c99aebae0.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/52fdcb4ddd856ebb4464834c99aebae0.json
deleted file mode 100644
index c438ee106b5..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/52fdcb4ddd856ebb4464834c99aebae0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0118,
- "steps": 25 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/76a1b1317f2520ef9a599a12e344730d.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/76a1b1317f2520ef9a599a12e344730d.json
deleted file mode 100644
index 83bedfff027..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/76a1b1317f2520ef9a599a12e344730d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0123,
- "steps": 27 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/786eb6ddc8b4a1c15c3182f42e302b10.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/786eb6ddc8b4a1c15c3182f42e302b10.json
deleted file mode 100644
index 2de817ca705..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/786eb6ddc8b4a1c15c3182f42e302b10.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0517,
- "steps": 92 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/c47ae970e7baa8aa14a744f568b77922.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/c47ae970e7baa8aa14a744f568b77922.json
deleted file mode 100644
index f5eb47507d0..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/c47ae970e7baa8aa14a744f568b77922.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
- "steps": 29 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.0.session/cache/d3570f7a7a9be38c8599ac1773a618a2.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.0.session/cache/d3570f7a7a9be38c8599ac1773a618a2.json
deleted file mode 100644
index 3291e8fc3f1..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.0.session/cache/d3570f7a7a9be38c8599ac1773a618a2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0105,
- "steps": 16 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/08ff774ac6a70674d784cefe233dc1ab.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/08ff774ac6a70674d784cefe233dc1ab.json
deleted file mode 100644
index 7416efea8d9..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/08ff774ac6a70674d784cefe233dc1ab.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0254,
- "steps": 55 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/82750bb2b6c7b7cda9f4f22eea23f1ef.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/82750bb2b6c7b7cda9f4f22eea23f1ef.json
deleted file mode 100644
index b27f2eee4a7..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/82750bb2b6c7b7cda9f4f22eea23f1ef.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0336,
- "steps": 178 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/e6bfe72a35736c49013701f4e6cc2d7c.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/e6bfe72a35736c49013701f4e6cc2d7c.json
deleted file mode 100644
index f2ba5b4ebae..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/e6bfe72a35736c49013701f4e6cc2d7c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0137,
- "steps": 48 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/152adf213328a70d06d3041ea7eca814.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/152adf213328a70d06d3041ea7eca814.json
deleted file mode 100644
index ebb299a05a8..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/152adf213328a70d06d3041ea7eca814.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.02, "steps": 54 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/cdfaa1f77a537214fe4d4d473da0c93f.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/cdfaa1f77a537214fe4d4d473da0c93f.json
deleted file mode 100644
index 7cb83418252..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/cdfaa1f77a537214fe4d4d473da0c93f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0174,
- "steps": 54 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/dbca0c75b09289a0939a4568bccb8ffe.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/dbca0c75b09289a0939a4568bccb8ffe.json
deleted file mode 100644
index c16c4630985..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/dbca0c75b09289a0939a4568bccb8ffe.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0159,
- "steps": 53 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/e3abd032ee5753e542d0c3d7701189e4.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/e3abd032ee5753e542d0c3d7701189e4.json
deleted file mode 100644
index 084b990db48..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/e3abd032ee5753e542d0c3d7701189e4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0102,
- "steps": 27 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.0.session/cache/ce56b654edab77f40b10056e97cc5df5.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.0.session/cache/ce56b654edab77f40b10056e97cc5df5.json
deleted file mode 100644
index b92d9fe95b4..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.0.session/cache/ce56b654edab77f40b10056e97cc5df5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0205,
- "steps": 62 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/2de8075c9ff8cf4d4f231608bed835a9.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/2de8075c9ff8cf4d4f231608bed835a9.json
deleted file mode 100644
index a5593ead662..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/2de8075c9ff8cf4d4f231608bed835a9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0297,
- "steps": 130 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/91244a7f80eb57f7181e1278e1172cc9.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/91244a7f80eb57f7181e1278e1172cc9.json
deleted file mode 100644
index 3fcfc93ffdf..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/91244a7f80eb57f7181e1278e1172cc9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.035,
- "steps": 132 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a59cc9b3f7f8b4a6624a1d1232662c22.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a59cc9b3f7f8b4a6624a1d1232662c22.json
deleted file mode 100644
index 78e22d71472..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a59cc9b3f7f8b4a6624a1d1232662c22.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0285,
- "steps": 130 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a93f056d32a8ace3dd916b64068f94c2.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a93f056d32a8ace3dd916b64068f94c2.json
deleted file mode 100644
index ff7646a74d0..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a93f056d32a8ace3dd916b64068f94c2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0113,
- "steps": 23 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/aafe330c4b6932bf122ff6509f3fc2b0.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/aafe330c4b6932bf122ff6509f3fc2b0.json
deleted file mode 100644
index c4ef5983902..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/aafe330c4b6932bf122ff6509f3fc2b0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0091,
- "steps": 39 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/0d14213263b1d1def509095c28e95ea9.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/0d14213263b1d1def509095c28e95ea9.json
deleted file mode 100644
index e1e5a02eec2..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/0d14213263b1d1def509095c28e95ea9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0198,
- "steps": 73 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/5c04a7d9d73560b7116ff3914824c36d.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/5c04a7d9d73560b7116ff3914824c36d.json
deleted file mode 100644
index e523147de74..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/5c04a7d9d73560b7116ff3914824c36d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0124,
- "steps": 32 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/7cf5fa10093d1ce2fd3940954cba0727.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/7cf5fa10093d1ce2fd3940954cba0727.json
deleted file mode 100644
index 1dd11313ae1..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/7cf5fa10093d1ce2fd3940954cba0727.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0235,
- "steps": 73 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/857d1f9981d68d1406859c8aae1b4639.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/857d1f9981d68d1406859c8aae1b4639.json
deleted file mode 100644
index fdfc488fd36..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/857d1f9981d68d1406859c8aae1b4639.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0164,
- "steps": 45 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/9ad7d025e7eb0eec65fb3551668328c9.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/9ad7d025e7eb0eec65fb3551668328c9.json
deleted file mode 100644
index 67801b1ad0c..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/9ad7d025e7eb0eec65fb3551668328c9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0196,
- "steps": 71 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0ee6d92adc52cf841d8f421ae8b9d2f2.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0ee6d92adc52cf841d8f421ae8b9d2f2.json
deleted file mode 100644
index 4346351e328..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0ee6d92adc52cf841d8f421ae8b9d2f2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0171,
- "steps": 53 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0f47526247a0528c7b0b8c8e945b32bd.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0f47526247a0528c7b0b8c8e945b32bd.json
deleted file mode 100644
index 69c84a26f33..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/0f47526247a0528c7b0b8c8e945b32bd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0095,
- "steps": 19 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3220ff8d08680b2082f90cfbabe5515c.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3220ff8d08680b2082f90cfbabe5515c.json
deleted file mode 100644
index 635370d75fb..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3220ff8d08680b2082f90cfbabe5515c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.016,
- "steps": 51 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3c1da17d2eb3aa57d9920fdbb8fdc9ff.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3c1da17d2eb3aa57d9920fdbb8fdc9ff.json
deleted file mode 100644
index 2a821f8d129..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/3c1da17d2eb3aa57d9920fdbb8fdc9ff.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.015,
- "steps": 53 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/f6d37791a1137bc07941a661f2333b7e.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/f6d37791a1137bc07941a661f2333b7e.json
deleted file mode 100644
index 71a57ad70b2..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.0.session/cache/f6d37791a1137bc07941a661f2333b7e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0078,
- "steps": 50 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0748144945def11ea300e135d8482e4a.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0748144945def11ea300e135d8482e4a.json
deleted file mode 100644
index 5033fa63b66..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0748144945def11ea300e135d8482e4a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0459,
- "steps": 121 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0b916424d61743046a3a8aa2d1980ca0.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0b916424d61743046a3a8aa2d1980ca0.json
deleted file mode 100644
index 4b76bff9c5a..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0b916424d61743046a3a8aa2d1980ca0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0143,
- "steps": 61 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0f63fa83c61794d80fd003f133e182a7.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0f63fa83c61794d80fd003f133e182a7.json
deleted file mode 100644
index 2ee4c477e8a..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/0f63fa83c61794d80fd003f133e182a7.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.112,
- "steps": 224 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1784d421c70ac778d245b285417fda0f.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1784d421c70ac778d245b285417fda0f.json
deleted file mode 100644
index 826c52aacf7..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1784d421c70ac778d245b285417fda0f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0201,
- "steps": 76 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1fe4ca1fb351003ccbd8755355135f8a.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1fe4ca1fb351003ccbd8755355135f8a.json
deleted file mode 100644
index 137bfc045d3..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/1fe4ca1fb351003ccbd8755355135f8a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1581,
- "steps": 251 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/21a3de19df739b18752521529d786b4b.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/21a3de19df739b18752521529d786b4b.json
deleted file mode 100644
index 7881c7c9a45..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/21a3de19df739b18752521529d786b4b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0427,
- "steps": 101 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/25def53021ebb0a8629e796358a6848b.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/25def53021ebb0a8629e796358a6848b.json
deleted file mode 100644
index 93a6c31f0ca..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/25def53021ebb0a8629e796358a6848b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.027,
- "steps": 66 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/27bf4adc6f09a58eafeabec80e08e561.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/27bf4adc6f09a58eafeabec80e08e561.json
deleted file mode 100644
index 5970963a22a..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/27bf4adc6f09a58eafeabec80e08e561.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 1.448,
- "steps": 874 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2ad8e6939da759ba7083da389f70b19a.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2ad8e6939da759ba7083da389f70b19a.json
deleted file mode 100644
index 7bf27258b66..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2ad8e6939da759ba7083da389f70b19a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.008,
- "steps": 18 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2b04374aa95473cfa45c6abca5d0fe15.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2b04374aa95473cfa45c6abca5d0fe15.json
deleted file mode 100644
index 1c231cee37e..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2b04374aa95473cfa45c6abca5d0fe15.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0123,
- "steps": 35 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2de5619cd6bf8a4549f18cbf2daefbba.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2de5619cd6bf8a4549f18cbf2daefbba.json
deleted file mode 100644
index e03b006e36d..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/2de5619cd6bf8a4549f18cbf2daefbba.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0114,
- "steps": 29 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3b096d1ad2f60d27d68c9819789fceb4.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3b096d1ad2f60d27d68c9819789fceb4.json
deleted file mode 100644
index 7cbb165d065..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3b096d1ad2f60d27d68c9819789fceb4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0677,
- "steps": 169 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3d5c736c9ebc4a910745c54e3f810000.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3d5c736c9ebc4a910745c54e3f810000.json
deleted file mode 100644
index ca5bb4ea160..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/3d5c736c9ebc4a910745c54e3f810000.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1562,
- "steps": 267 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4524f3b1a3aaeae1f14f29cffc5532b4.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4524f3b1a3aaeae1f14f29cffc5532b4.json
deleted file mode 100644
index e667529e5ba..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4524f3b1a3aaeae1f14f29cffc5532b4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0207,
- "steps": 82 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/45fc8639c2e8c14a8ba57fe664c24c9d.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/45fc8639c2e8c14a8ba57fe664c24c9d.json
deleted file mode 100644
index 34cbd0294af..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/45fc8639c2e8c14a8ba57fe664c24c9d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0471,
- "steps": 107 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4833c149c493290f7476cb694c326889.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4833c149c493290f7476cb694c326889.json
deleted file mode 100644
index c85fd94e357..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/4833c149c493290f7476cb694c326889.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0372,
- "steps": 61 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/51225dc69fc56402c586cbf2cad99281.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/51225dc69fc56402c586cbf2cad99281.json
deleted file mode 100644
index b6d8db7b016..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/51225dc69fc56402c586cbf2cad99281.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0262,
- "steps": 76 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5998e90eb1b10fc1fd4ff54e6ef5689e.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5998e90eb1b10fc1fd4ff54e6ef5689e.json
deleted file mode 100644
index df8ca8fe1a0..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5998e90eb1b10fc1fd4ff54e6ef5689e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0977,
- "steps": 179 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d20435c0b8e9bb4e51ab262b3129648.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d20435c0b8e9bb4e51ab262b3129648.json
deleted file mode 100644
index 827ebad8def..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d20435c0b8e9bb4e51ab262b3129648.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.2324,
- "steps": 210 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d3f4ea5bf6dc3f773faf7e0d63f1c76.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d3f4ea5bf6dc3f773faf7e0d63f1c76.json
deleted file mode 100644
index 83e0ba8ee6f..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/5d3f4ea5bf6dc3f773faf7e0d63f1c76.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0397,
- "steps": 111 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/6e15ce103fe14e50af7e0936d1d2a924.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/6e15ce103fe14e50af7e0936d1d2a924.json
deleted file mode 100644
index b1fe562c2f1..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/6e15ce103fe14e50af7e0936d1d2a924.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.02, "steps": 64 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/75158755074596f3fba764a01a862cea.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/75158755074596f3fba764a01a862cea.json
deleted file mode 100644
index 32f9c5fdfe9..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/75158755074596f3fba764a01a862cea.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0193,
- "steps": 66 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/77066c103c80ea4e5f9b5605057d8d03.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/77066c103c80ea4e5f9b5605057d8d03.json
deleted file mode 100644
index 60dab5b5ec2..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/77066c103c80ea4e5f9b5605057d8d03.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0612,
- "steps": 151 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/78c65afc8eeed0925d1f9c68b047f97a.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/78c65afc8eeed0925d1f9c68b047f97a.json
deleted file mode 100644
index 6a103d99cdb..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/78c65afc8eeed0925d1f9c68b047f97a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0156,
- "steps": 76 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/7e81584b97fe9a89bed8cd913741db47.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/7e81584b97fe9a89bed8cd913741db47.json
deleted file mode 100644
index 83debd7e69e..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/7e81584b97fe9a89bed8cd913741db47.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0206,
- "steps": 76 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/805d516e173e9a1980e332963ed26853.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/805d516e173e9a1980e332963ed26853.json
deleted file mode 100644
index 6e36003ddf4..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/805d516e173e9a1980e332963ed26853.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0095,
- "steps": 21 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/85bd4f374f9098d4767c14833e05b5b8.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/85bd4f374f9098d4767c14833e05b5b8.json
deleted file mode 100644
index a00184de1fd..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/85bd4f374f9098d4767c14833e05b5b8.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0574,
- "steps": 117 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/904dfd55419e9da26d6710c5e3bb2512.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/904dfd55419e9da26d6710c5e3bb2512.json
deleted file mode 100644
index 9f1ee7872b4..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/904dfd55419e9da26d6710c5e3bb2512.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0287,
- "steps": 93 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/93d52e79f66a5fbbf8a8d577d910215e.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/93d52e79f66a5fbbf8a8d577d910215e.json
deleted file mode 100644
index e9844a57cba..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/93d52e79f66a5fbbf8a8d577d910215e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0898,
- "steps": 195 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/9e3b12919ddd0b7f3deeaa63da75f6e5.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/9e3b12919ddd0b7f3deeaa63da75f6e5.json
deleted file mode 100644
index 398e1b3eb88..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/9e3b12919ddd0b7f3deeaa63da75f6e5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0332,
- "steps": 95 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a82a6af66093c860d0011d4f227136d1.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a82a6af66093c860d0011d4f227136d1.json
deleted file mode 100644
index f105ad10719..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a82a6af66093c860d0011d4f227136d1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.021,
- "steps": 64 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a8e0d95eaca351657706fd30bd03bea1.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a8e0d95eaca351657706fd30bd03bea1.json
deleted file mode 100644
index 2d135b93226..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a8e0d95eaca351657706fd30bd03bea1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.008,
- "steps": 19 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a9311c935f353c4d4cea656ea0ab8a1e.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a9311c935f353c4d4cea656ea0ab8a1e.json
deleted file mode 100644
index 2471b919ea1..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/a9311c935f353c4d4cea656ea0ab8a1e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0233,
- "steps": 81 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ad64f1c1643c7dd2550c00a9074f69.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ad64f1c1643c7dd2550c00a9074f69.json
deleted file mode 100644
index ee56722a84b..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ad64f1c1643c7dd2550c00a9074f69.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0305,
- "steps": 90 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ddcd489f338024c524107b6e504a00.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ddcd489f338024c524107b6e504a00.json
deleted file mode 100644
index ed311aa3bf7..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/b2ddcd489f338024c524107b6e504a00.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0239,
- "steps": 64 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/bfe86eb3dc31cfbaa90471047107b2d3.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/bfe86eb3dc31cfbaa90471047107b2d3.json
deleted file mode 100644
index 19937fe629e..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/bfe86eb3dc31cfbaa90471047107b2d3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.7249,
- "steps": 586 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/c89d9d7df15c1516409d246b82b8c1f0.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/c89d9d7df15c1516409d246b82b8c1f0.json
deleted file mode 100644
index e2adf732c23..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/c89d9d7df15c1516409d246b82b8c1f0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0076,
- "steps": 24 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/cf7eaa96c53ed9bc0ce7eef2ff6d4785.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/cf7eaa96c53ed9bc0ce7eef2ff6d4785.json
deleted file mode 100644
index 453f17235fb..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/cf7eaa96c53ed9bc0ce7eef2ff6d4785.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0222,
- "steps": 73 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/d73fc9500445fd11b1277eb233677128.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/d73fc9500445fd11b1277eb233677128.json
deleted file mode 100644
index 7181b9f0008..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/d73fc9500445fd11b1277eb233677128.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0677,
- "steps": 128 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/dfb4426937ac0dd3319b8d97b1113ef1.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/dfb4426937ac0dd3319b8d97b1113ef1.json
deleted file mode 100644
index 4ce8c833c8d..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/dfb4426937ac0dd3319b8d97b1113ef1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0575,
- "steps": 133 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e3c7c32c0e592dcd434f4f389ed60f36.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e3c7c32c0e592dcd434f4f389ed60f36.json
deleted file mode 100644
index 985a0441350..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e3c7c32c0e592dcd434f4f389ed60f36.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1778,
- "steps": 240 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e90a80dc6573ff3be6973ff12e676e32.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e90a80dc6573ff3be6973ff12e676e32.json
deleted file mode 100644
index 5c8499dcc7e..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/e90a80dc6573ff3be6973ff12e676e32.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0143,
- "steps": 54 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/ef4bb98ab16552a98c74ec0913047b5d.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/ef4bb98ab16552a98c74ec0913047b5d.json
deleted file mode 100644
index b480d3f35b7..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/ef4bb98ab16552a98c74ec0913047b5d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0856,
- "steps": 138 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f6abbe317c0d2a1424b05d2fb7e4bd9b.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f6abbe317c0d2a1424b05d2fb7e4bd9b.json
deleted file mode 100644
index e3e8779cbd7..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f6abbe317c0d2a1424b05d2fb7e4bd9b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0534,
- "steps": 114 }
diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f9262c0413f25f71d0ae44d4744746f0.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f9262c0413f25f71d0ae44d4744746f0.json
deleted file mode 100644
index d2cb65a7b9e..00000000000
--- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.0.session/cache/f9262c0413f25f71d0ae44d4744746f0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0333,
- "steps": 92 }
diff --git a/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/1097cb045925dc7690981f0f528ee5d4.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/1097cb045925dc7690981f0f528ee5d4.json
deleted file mode 100644
index 1a411f445d6..00000000000
--- a/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/1097cb045925dc7690981f0f528ee5d4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.023,
- "steps": 27 }
diff --git a/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/d89912a1e879d06f335b8d985cb804f3.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/d89912a1e879d06f335b8d985cb804f3.json
deleted file mode 100644
index 7b78699ea74..00000000000
--- a/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/d89912a1e879d06f335b8d985cb804f3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
- "steps": 28 }
diff --git a/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/de777917ace9bbef5272bb764ddd82c2.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/de777917ace9bbef5272bb764ddd82c2.json
deleted file mode 100644
index 2d31e4969e8..00000000000
--- a/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.0.session/cache/de777917ace9bbef5272bb764ddd82c2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0121,
- "steps": 28 }
diff --git a/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.1.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json b/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.1.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json
deleted file mode 100644
index 428a1839b17..00000000000
--- a/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.1.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0102,
- "steps": 22 }
diff --git a/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.2.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json b/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.2.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json
deleted file mode 100644
index f6ac3dd3d95..00000000000
--- a/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.2.session/cache/3016a12fe9f82a49a0ff618ae2acf170.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0118,
- "steps": 22 }
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/89c62021b110300d0866feac14bd7c45.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/89c62021b110300d0866feac14bd7c45.json
deleted file mode 100644
index b8e36e2803f..00000000000
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/89c62021b110300d0866feac14bd7c45.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/b602aeb805673b0805c79216c3ced563.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/b602aeb805673b0805c79216c3ced563.json
deleted file mode 100644
index b8e36e2803f..00000000000
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.0.session/cache/b602aeb805673b0805c79216c3ced563.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/src/plugins/wp/tests/wp_store/oracle_qualif/struct.0.session/cache/8d2cbdde2b0c4740b0467e8f84939e0d.json b/src/plugins/wp/tests/wp_store/oracle_qualif/struct.0.session/cache/8d2cbdde2b0c4740b0467e8f84939e0d.json
deleted file mode 100644
index d3dcde5a175..00000000000
--- a/src/plugins/wp/tests/wp_store/oracle_qualif/struct.0.session/cache/8d2cbdde2b0c4740b0467e8f84939e0d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0157,
- "steps": 35 }
--
GitLab