mcs-queue -> ms-queue
[model-checker-benchmarks.git] / ms-queue / args.c
1 #include "main.h"
2
3 extern unsigned iterations;
4 extern unsigned multi;
5 extern unsigned initial_nodes;
6 extern unsigned procs;
7 extern unsigned repetitions;
8 extern unsigned work;
9
10 void parse_args(int argc, char **argv)
11 {
12         extern char * optarg;
13         int c;
14
15         while ((c = getopt(argc, argv, "i:m:n:p:r:w:")) != EOF)
16                 switch(c) {
17                         case 'i':  iterations = atoi(optarg); break;
18                         case 'm':  multi = atoi(optarg);  break;
19                         case 'n':  initial_nodes = atoi(optarg);  break;
20                         case 'p':   procs = atoi(optarg);   break;
21                         case 'r':   repetitions = atoi(optarg);   break;
22                         case 'w':   work = atoi(optarg);   break;
23                         default:
24                                     assert(0);
25                 }
26 }