source: driver/ @ 2778

Last change on this file since 2778 was 2778, checked in by sacerdot, 8 years ago

Code to pretty-print the IntelHex? output.
At the moment the glue code between the trusted and untrusted code
pass through Matita's base 1 integers. Thus the computation is just too

File size: 271 bytes
2(** This module provides a function to print [ASM] programs. *)
4let print_program p =
5  let code_memory = Extracted.Fetch.load_code_memory p in
6  let intel_hex = IntelHex.pack_exported_code_memory 16 65535 code_memory in
7  IntelHex.string_of_intel_hex_format intel_hex
Note: See TracBrowser for help on using the repository browser.