Better fuzzing options

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1868 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 7 deletions

diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml
index f63eb9a..fdd0769 100644
--- a/checklink/Frameworks.ml
+++ b/checklink/Frameworks.ml
@@ -103,12 +103,6 @@ let log = {
   get = (fun ef -> ef.log);
   set = (fun l ef -> { ef with log = l });
 }
-(*
-let chkd_syms = {
-  get = (fun ef -> ef.chkd_syms);
-  set = (fun s ef -> { ef with chkd_syms = s });
-}
-*)
 
 let ident_to_sym_ndx = {
   get = (fun sf -> sf.ident_to_sym_ndx);
@@ -128,7 +122,6 @@ let add_range (start: int32) (length: int32) (align: int) (bcd: byte_chunk_desc)
   let stop = Int32.(sub (add start length) 1l) in
   {
     efw with
-      (*chkd_bytes_diet = ELFCoverage.r_add start stop efw.chkd_bytes_diet;*)
       chkd_bytes_list =
       (* Float constants can appear several times in the code, we don't
          want to add them multiple times *)