From 10eb6f51ee771431ebbfda12f4f8fc5ca68adcf3 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 5 Sep 2019 10:11:26 +0200 Subject: [PATCH] [WP/tests] oracle updated --- .../wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle index 63ef86ba980..a89aa37dc9e 100644 --- a/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle +++ b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle @@ -283,6 +283,6 @@ eq_string 11 7 (56..80) 18 100% hash 7 3 (44..56) 10 100% size 2 1 (16..28) 3 100% init 10 8 (88..112) 18 100% -add 30 24 (208..256) 54 100% +add 30 24 (224..272) 54 100% mem_binding 25 15 (800..896) 40 100% ------------------------------------------------------------- -- GitLab