Ignore:
Timestamp:
Sep 27, 2010, 4:19:28 PM (9 years ago)
Author:
mulligan
Message:

Bug noticed in string conversion routine. Note added.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/IntelHex.ml

    r136 r137  
    160160    | (prs,_)::_ -> Some prs
    161161
     162(* DPM: BUG --- length and addr hex values are sometimes shortened if the hex
     163        string begins with a zero.  All length strings should be two hex chars
     164        long, and all addr strings should be four.                            *)
    162165let string_of_intel_hex_entry entry =
    163166  let record_length_l, record_length_r = entry.record_length in
     
    226229
    227230(* DPM: Debug
    228    let tot = complement <*> snd $ add_bytes [vect_of_int 2 `Eight; vect_of_int 0 `Eight; vect_of_int 0 `Eight; vect_of_int 4 `Eight; vect_of_int 255 `Eight; vect_of_int 255 `Eight];;
    229    let Some entry = intel_hex_format_of_string ":02000004FFFFFC";;
     231   let Some entry = intel_hex_format_of_string ":10002F00EFF88DF0A4FFEDC5F0CEA42EFEEC88F016";;
    230232   checksum_valid $ List.hd entry;;
    231233*)
Note: See TracChangeset for help on using the changeset viewer.