Searched refs:argv (Results 1 - 25 of 58) sorted by relevance

123

/seL4-l4v-master/HOL4/examples/acl2/lisp/
H A Da2ml.csh5 if ( ($#argv != 2) && ($#argv != 3)) then
11 set infile = $argv[1]
12 set outfile = $argv[2]
13 if ( ($#argv == 3)) then
14 set infile_dir = $argv[3]
H A Dbook-essence.csh3 if ($#argv == 2) then
4 set outfile = ' "'$argv[2]'"'
5 else if ($#argv != 1) then
13 set infile = '"'$argv[1]'"'
H A Daxioms-essence.csh3 if ($#argv == 1) then
4 set outfile = ' "'$argv[1]'"'
5 else if ($#argv != 0) then
/seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/test/data/
H A Dgen.py7 size = int(sys.argv[1])
8 s = sys.argv[2]
/seL4-l4v-master/HOL4/examples/acl2/lisp/obsolete/
H A Dfilter-forms.csh7 if ($#argv != 2) then
13 set infile = $argv[1]
14 set outfile = $argv[2]
H A Dpprint-file.csh7 if ($#argv == 3) then
9 else if ($#argv != 2) then
16 set infile = $argv[1]
17 set outfile = $argv[2]
H A Dpprint-axioms.csh10 if ($#argv == 0) then
12 else if ($#argv == 1) then
13 set outfile = '"'$argv[1]'"'
/seL4-l4v-master/graph-refine/graph-to-graph/wcet_scripts/
H A Dunspecified_pre_cond.py14 if len(sys.argv) != 3:
15 print "usage: %s original_file output_name" % sys.argv[0]
17 original_name = sys.argv[1]
18 output_name = sys.argv[2]
/seL4-l4v-master/HOL4/polyml/
H A Dpolyimport.c39 int main(int argc, char *argv[]) argument
41 return polymain(argc, argv, 0);
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A Dpolystub.c40 int main(int argc, char *argv[]) argument
42 return polymain(argc, argv, &poly_exports);
/seL4-l4v-master/seL4/manual/tools/
H A Dgen_env.py15 if len(sys.argv) != 2:
18 output_filename = sys.argv[1]
41 with open(sys.argv[1], "r") as f:
46 with open(sys.argv[1], "w") as f:
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dplus.c21 int main(int argc, char **argv) argument
/seL4-l4v-master/isabelle/Admin/bash_process/
H A Dbash_process.c36 int main(int argc, char *argv[]) argument
45 char *pid_name = argv[1];
46 char *timing_name = argv[2];
121 argv[i - 3] = argv[i];
123 argv[argc - 3] = NULL;
124 argv[argc - 2] = NULL;
125 argv[argc - 1] = NULL;
130 execvp("bash", argv);
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c36 int main(int argc, char *argv[]) argument
45 char *pid_name = argv[1];
46 char *timing_name = argv[2];
121 argv[i - 3] = argv[i];
123 argv[argc - 3] = NULL;
124 argv[argc - 2] = NULL;
125 argv[argc - 1] = NULL;
130 execvp("bash", argv);
/seL4-l4v-master/l4v/isabelle/Admin/Linux/
H A DIsabelle.c21 int main(int argc, char *argv[]) argument
26 dcmd = strdup(argv[0]);
37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
/seL4-l4v-master/isabelle/Admin/Linux/
H A DIsabelle.c21 int main(int argc, char *argv[]) argument
26 dcmd = strdup(argv[0]);
37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
/seL4-l4v-master/l4v/misc/autostop/
H A Dkillbig.c119 void usage(int argc, char **argv) argument
123 argc > 0 ? argv[0] : "killbig");
126 int main(int argc, char **argv) argument
132 usage(argc, argv);
135 max_mem_usage = (uint64_t)atoll(argv[1]);
137 usage(argc, argv);
/seL4-l4v-master/l4v/misc/filemerge/
H A Dunicode.py27 if len(sys.argv) > 1:
28 f = open(sys.argv[1], 'r')
H A Dxsymbol.py26 if len(sys.argv) > 1:
27 f = open(sys.argv[1], 'r')
/seL4-l4v-master/l4v/misc/zsh/
H A Disabelle_session_names.py57 if '-h' in sys.argv or '--help' in sys.argv:
58 print('Usage: %s DIRS...' % sys.argv[0])
62 for dir in sys.argv[1:]:
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dgraph_to_graph.py34 if len(sys.argv) < 4:
38 entry_point_function = sys.argv[2]
45 dir_name = sys.argv[1]
47 flag = sys.argv[3]
58 if len(sys.argv) < 4:
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dadder.cxx46 int main(int argc, char **argv) argument
60 N = atoi(argv[1]);
69 if (strcmp(argv[2], "win2") == 0)
72 if (strcmp(argv[2], "win2ite") == 0)
75 if (strcmp(argv[2], "win3") == 0)
78 if (strcmp(argv[2], "win3ite") == 0)
81 if (strcmp(argv[2], "sift") == 0)
84 if (strcmp(argv[2], "siftite") == 0)
87 if (strcmp(argv[2], "rand") == 0)
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmpoly.h51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
/seL4-l4v-master/HOL4/tools/
H A Dholwrap.py45 def main(argv):
46 args =" ".join(argv[1:]) # this should be hol and flags for hol
96 main(sys.argv)
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dmake_tables.py18 def main(argv):
23 options = parser.parse_args(argv[1:])
51 sys.exit(main(sys.argv))

Completed in 154 milliseconds

123