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

/seL4-l4v-master/HOL4/polyml/
H A Dpolyimport.c39 int main(int argc, char *argv[]) argument
41 return polymain(argc, argv, 0);
H A Dpolyexports.h107 int polymain(int argc, char *argv[], exportDescription *exports);
H A Dltmain.sh5729 main (int argc, char *argv[])
5743 newargz = XMALLOC (char *, (size_t) argc + 1);
5750 for (i = 1; i < argc; i++)
6351 size_t argc;
6356 for (argc = 0; argv[argc] != NULL; argc++)
6360 new_argv = XMALLOC (char *, argc + 1);
6363 for (i = 0; i < argc; i++)
6431 new_argv[argc]
[all...]
H A Dconfig.guess482 int main (int argc, char *argv[]) {
484 int main (argc, argv) int argc; char *argv[]; {
H A Dconfigure4442 int argc;
17260 int argc;
18463 main (int argc, char **argv)
18465 return find_stack_direction (0, argc + !argv + 20) < 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/l4v/tools/autocorres/tests/examples/
H A Dplus.c21 int main(int argc, char **argv) argument
/seL4-l4v-master/l4v/isabelle/Admin/Linux/
H A DIsabelle.c21 int main(int argc, char *argv[]) argument
29 cmd_line = malloc(sizeof(char *) * (argc + 1));
37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
39 cmd_line[argc] = NULL;
/seL4-l4v-master/isabelle/Admin/Linux/
H A DIsabelle.c21 int main(int argc, char *argv[]) argument
29 cmd_line = malloc(sizeof(char *) * (argc + 1));
37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
39 cmd_line[argc] = NULL;
/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
131 if (argc < 2) {
132 usage(argc, argv);
137 usage(argc, argv);
H A Dstop.c351 void usage(int argc, char **argv) argument
359 argc > 0 ? argv[0] : "autostop");
362 int main(int argc, char **argv) argument
371 if (argc < 2) {
377 usage(argc, argv);
383 suspects = argc > 2 ? &argv[2] : NULL;
/seL4-l4v-master/isabelle/Admin/bash_process/
H A Dbash_process.c36 int main(int argc, char *argv[]) argument
40 if (argc < 3) {
120 for (i = 3; i < argc; i++) {
123 argv[argc - 3] = NULL;
124 argv[argc - 2] = NULL;
125 argv[argc - 1] = NULL;
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c36 int main(int argc, char *argv[]) argument
40 if (argc < 3) {
120 for (i = 3; i < argc; i++) {
123 argv[argc - 3] = NULL;
124 argv[argc - 2] = NULL;
125 argv[argc - 1] = NULL;
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmpoly.h51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
H A Dmpoly.cpp215 int polymain(int argc, TCHAR **argv, exportDescription *exports) argument
228 if (argc > 0)
237 userOptions.user_arg_strings = (TCHAR**)malloc(argc * sizeof(TCHAR*)); // Enough room for all of them
241 for (int i = 1; i < argc; i++)
265 if (i >= argc)
H A Dxwindows.cpp6165 int argc = 0; /* an "int" for Solaris, but should be "unsigned" for SunOS */ local
6182 display = XtOpenDisplay(app_context,displayName,appName,appClass,NULL,0,&argc,0);
6300 {"argv" ,(char *) "argc"},
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp105 static int parse_args(int argc, char **argv, Options &options) { argument
116 int c = getopt_long(argc, argv, "ai:o:u", opts, &index);
159 int main(int argc, char **argv) { argument
166 if (parse_args(argc, argv, options) != 0)
/seL4-l4v-master/HOL4/src/integer/testing/
H A Dtcooper.c22 int main(int argc, char *argv[]) argument
25 int timeout = argc > 3 ? atoi(argv[3]) : 5;
27 if (argc < 3) {
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dadder.cxx46 int main(int argc, char **argv) argument
51 if(argc < 2 || argc > 3)
67 if (argc == 3)
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dparse_complit.c75 int main(int argc, char**argv) argument
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bin/
H A Dwrapper.c119 int main(int argc, char** argv) { argument
146 if (1 < argc) {
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C200 int main(int argc, char** argv) argument
210 for (int i = 1; i < argc; i++){
218 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-r' option.\n");
222 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-p' option.\n");
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmilner.cxx97 int main(int argc, char** argv) argument
100 if(argc < 2)
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp453 int main(int argc, char** argv) { argument
461 for (int i = 1; i < argc; i++) {
472 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-m' option.\n");
476 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-z' option.\n");
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmilner.c227 int main(int argc, char** argv) argument
234 if(argc < 2)

Completed in 251 milliseconds