diff options
| author | Robert Norton | 2016-01-26 13:48:25 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-26 13:48:25 +0000 |
| commit | 94e507c2ec65064e1b99a0dd31fe33f11ec7e2d9 (patch) | |
| tree | 7a5f95a753e95035ddf3513f2b9f88529eed60cf /src/reporting_basic.ml | |
| parent | d893a1195a2385857a7ddccf52d7b8c45f53e9fd (diff) | |
dump registers in format expected by cheri test suite when halting. Remove distinction between prog_mem and data_mem at least for now as data_mem was not being populated correctly (wrong elf flags?).
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions