summaryrefslogtreecommitdiff
path: root/src/lem_interp/printing_functions.ml
diff options
context:
space:
mode:
authorRobert Norton2016-06-06 18:40:53 +0100
committerRobert Norton2016-06-06 18:40:53 +0100
commit2d47c0714a9063c98d431724e0e4c113f015b62d (patch)
treeed4c2c7855edfcea8bff81f6ace06f7dcf7adfa6 /src/lem_interp/printing_functions.ml
parentf08e4b1ccbedc8fc1a2eac53d7ce6f29eefecdf2 (diff)
remove mips test elf files no longer expected to work due to having incorrect LMA values (since sail interpreter now translates PC addresses).
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
0 files changed, 0 insertions, 0 deletions