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

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py36 def call_input_output(args,input_str,output_file): function
64 ret = call_input_output('Holmake','','hol_output.txt')
80 call_input_output('hol',ml_input,output_file)

Completed in 77 milliseconds