diff options
author | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:38 +0000 |
---|---|---|
committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:38 +0000 |
commit | 9f9b003697ac901008affd7008c428109d1afc5e (patch) | |
tree | eaf164d26cf44ba5d986f9c3c2375b97211002df /checklink/Check.ml | |
parent | 3d8c8ffbcaa07b6b421c75298a25887875a78c34 (diff) | |
download | compcert-9f9b003697ac901008affd7008c428109d1afc5e.tar.gz compcert-9f9b003697ac901008affd7008c428109d1afc5e.zip |
Better fuzzing options
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1868 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink/Check.ml')
-rw-r--r-- | checklink/Check.ml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/checklink/Check.ml b/checklink/Check.ml index 34e6efdd..dfefbfbe 100644 --- a/checklink/Check.ml +++ b/checklink/Check.ml @@ -181,15 +181,12 @@ let mark_covered_fun_sym_ndx (ndx: int) ffw: f_framework = in ffw.sf.ef.chkd_fun_syms.(ndx) <- true; ffw - >>> ff_ef ^%= - add_range sym_begin sym_size align (Function_symbol(sym)) + >>> (ff_ef ^%= add_range sym_begin sym_size align (Function_symbol(sym))) >>> (ff_sf ^%= if not (is_well_aligned sym_ofs_local align) then ( sf_ef ^%= - add_log (ERROR( - "Symbol not correctly aligned in the ELF file" - )) + add_log (ERROR("Symbol not correctly aligned in the ELF file")) ) else id ) @@ -2928,7 +2925,7 @@ let check_elf_identification efw = >>> ef_checkb (ei.ei_data = ELFDATA2MSB || ei.ei_data = ELFDATA2LSB) "ELF should be MSB or LSB" >>> ef_checkb (ei.ei_version = EV_CURRENT) - "ELF identificatin version should be EV_CURRENT" + "ELF identification version should be EV_CURRENT" let check_elf_header efw: e_framework = let eh = efw.elf.e_hdr in |