Searched refs:last_lines (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py70 last_lines = list (open (outp))[-20:] variable
71 for l in ['\n'] + last_lines + ['\n']:
81 last_lines = list (open (output_file))[-20:] variable
82 summaries = [i for (i, l) in enumerate (last_lines) if l.strip() == 'Summary']
87 for l in ['\n'] + last_lines + ['\n']:
92 for l in [''] + last_lines[summaries[-1]:]:

Completed in 78 milliseconds