summaryrefslogtreecommitdiff
path: root/src/initial_check.ml
diff options
context:
space:
mode:
authorKathy Gray2014-09-29 16:32:29 +0100
committerKathy Gray2014-09-29 16:32:29 +0100
commitca2c86b6177fc22b7120499b3809a2cb381f72b8 (patch)
tree9ad6f8d05314e47eaa4522d3c50ff71e41d1fda2 /src/initial_check.ml
parent36578a6f257d6250f46df07c473f42b5995743e8 (diff)
Connect up to elf model; which doesn't seem to be representing the elf file properly yet but run_power.native is connected to it
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions