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