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

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py69 outp = os.path.abspath('hol_output.txt') variable
70 last_lines = list (open (outp))[-20:]
73 print("(more error information in %s )." % outp)

Completed in 77 milliseconds