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

/seL4-l4v-10.1.1/HOL4/examples/real-to-float/
H A DdaisyLib.sml9 val output_filename = path ^ "/Program" value
10 val filename = output_filename ^ ".scala"
15 val f = TextIO.openIn output_filename
/seL4-l4v-10.1.1/seL4/manual/tools/
H A Dgen_env.py24 output_filename = sys.argv[1] variable

Completed in 91 milliseconds