/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/test/data/ |
H A D | gen.py | 11 sys.stdout.write(random.choice(s)) #string.printable
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | output.scala | 24 def writeln(msg: String, stdout: Boolean = false) 27 if (stdout) Console.print(writeln_text(msg) + "\n") 32 def warning(msg: String, stdout: Boolean = false) 35 if (stdout) Console.print(warning_text(msg) + "\n") 40 def error_message(msg: String, stdout: Boolean = false) 43 if (stdout) Console.print(error_message_text(msg) + "\n")
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | output.scala | 24 def writeln(msg: String, stdout: Boolean = false) 27 if (stdout) Console.print(writeln_text(msg) + "\n") 32 def warning(msg: String, stdout: Boolean = false) 35 if (stdout) Console.print(warning_text(msg) + "\n") 40 def error_message(msg: String, stdout: Boolean = false) 43 if (stdout) Console.print(error_message_text(msg) + "\n")
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | decompile.py | 34 sys.stdout.write(str) 42 ret = subprocess.call(args, stdin=input, stdout=out, stderr=out, universal_newlines=True, shell=True) 63 sys.stdout.flush() 76 sys.stdout.flush() 79 sys.stdout.flush() 94 sys.stdout.flush()
|
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
H A D | tttRedirect.sml | 17 Take a duplicate of current stdout. 21 val duplicate_stdout : file_desc = dup stdout 40 (dup2{old = fd, new = stdout}; stack := fd :: !stack) 59 fd :: _ => (dup2{old = fd, new = stdout}; true) 60 | [] => (dup2{old = duplicate_stdout, new = stdout}; false))
|
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/Foreign/ |
H A D | ForeignTest.c | 91 fflush(stdout); 98 fflush(stdout);
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | tree.c | 201 printf("A\n"); bddtree_print(stdout, t, 0); 203 printf("B\n"); bddtree_print(stdout, t, 0); 205 printf("C\n"); bddtree_print(stdout, t, 0); 207 printf("D\n"); bddtree_print(stdout, t, 0); 209 printf("E\n"); bddtree_print(stdout, t, 0); 211 printf("F\n"); bddtree_print(stdout, t, 0); 213 printf("G\n"); bddtree_print(stdout, t, 0); 216 printf("H\n"); bddtree_print(stdout, t, 0);
|
H A D | bddio.c | 110 DESCR {* Prints to either stdout or the file {\tt ofile} all the used 121 bdd_fprintall(stdout); 154 DESCR {* Prints to either stdout or the file {\tt ofile} all the entries 165 bdd_fprinttable(stdout, r); 228 bdd_fprintset(stdout, r); 306 drawing program DOT to either stdout, a designated file 314 bdd_fprintdot(stdout, r);
|
H A D | imatrix.c | 112 imatrixFPrint(mtx, stdout);
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | process_result.scala | 42 Output.warning(err, stdout = true) 43 Output.writeln(out, stdout = true)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | process_result.scala | 42 Output.warning(err, stdout = true) 43 Output.writeln(out, stdout = true)
|
/seL4-l4v-10.1.1/seL4/manual/tools/ |
H A D | gen_env.py | 28 stdout=subprocess.PIPE) variable
|
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 105 fprintf(stdout, "%d\n", getpid()); 106 fflush(stdout);
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true) 107 if (docs.isEmpty) Output.writeln(cat_lines(contents_lines().map(_._2)), stdout = true)
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 105 fprintf(stdout, "%d\n", getpid()); 106 fflush(stdout);
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true) 107 if (docs.isEmpty) Output.writeln(cat_lines(contents_lines().map(_._2)), stdout = true)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | generate-ios-source-and-headers.py | 17 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout: 30 for line in subprocess.Popen(['xcodebuild', '-showsdks'], stdout=subprocess.PIPE).stdout:
|
H A D | generate-osx-source-and-headers.py | 16 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout: 27 for line in subprocess.Popen(['xcodebuild', '-showsdks'], stdout=subprocess.PIPE).stdout:
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | testclosure.c | 22 fflush(stdout);
|
/seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/ |
H A D | benchmark.py | 38 process.logfile = sys.stdout
|
/seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
H A D | make_tables.py | 24 default=sys.stdout, help='output file')
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | run_tests.py | 55 if sys.stdout.isatty(): 152 log is output to stdout where we can't easily get to it. 176 # Determine where stdout should go. We can't print it live to stdout and 178 output = sys.stdout if verbose else subprocess.PIPE 187 stdout=output, stderr=subprocess.STDOUT, stdin=subprocess.PIPE, 331 stdout=subprocess.PIPE, stderr=subprocess.STDOUT) 339 if sys.stdout.isatty(): 341 sys.stdout.flush() 367 sys.stdout [all...] |
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | bench.py | 51 p = subprocess.Popen(program_n_flags,cwd=cwd,stdout=subprocess.PIPE,stderr=subprocess.PIPE) 53 p = subprocess.Popen(program_n_flags,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/ |
H A D | ml_console.scala | 78 val tty_loop = new TTY_Loop(process.stdin, process.stdout, Some(process.interrupt _))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/ |
H A D | ml_console.scala | 78 val tty_loop = new TTY_Loop(process.stdin, process.stdout, Some(process.interrupt _))
|