diff options
| author | Kathy Gray | 2014-09-29 12:36:14 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-09-29 12:36:14 +0100 |
| commit | c205e3e77e35cf07fdf616c133d9a70a96986394 (patch) | |
| tree | a827d3d436fb69c4a73df9b9fb066c98fbceab84 /src/elf_model/pre_main.ml | |
| parent | 80eabf2fca417f5dc245e5212e0f33f6c23bb58b (diff) | |
Add in elf model from Dominic/Stephen. Make run_power build again. Does not effectively use elf model yet
Diffstat (limited to 'src/elf_model/pre_main.ml')
| -rw-r--r-- | src/elf_model/pre_main.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/elf_model/pre_main.ml b/src/elf_model/pre_main.ml new file mode 100644 index 00000000..02eaf41c --- /dev/null +++ b/src/elf_model/pre_main.ml @@ -0,0 +1,8 @@ +(*Generated by Lem from pre_main.lem.*) +open Show + +open Elf_section_header + +(*val display : elf32_section_header_table -> string*) +let display = (listShow + instance_Show_Show_Elf_section_header_elf32_section_header_table_entry_dict) |