ms-queue: cleanups, convert to C11 atomics
[model-checker-benchmarks.git] / ms-queue / args.c
1 #include "main.h"
2
3 extern unsigned iterations;
4 extern unsigned procs;
5
6 void parse_args(int argc, char **argv)
7 {
8         extern char *optarg;
9         int c;
10
11         while ((c = getopt(argc, argv, "i:p:")) != EOF)
12                 switch(c) {
13                         case 'i':  iterations = atoi(optarg); break;
14                         case 'p':   procs = atoi(optarg);   break;
15                         default:
16                                     assert(0);
17                 }
18 }