ms-queue: cleanups, convert to C11 atomics

[model-checker-benchmarks.git] / ms-queue / args.c

diff --git a/ms-queue/args.c b/ms-queue/args.c
index 89101e5e0563c12170bc7f128e691939558ef7fb..6fe19de8d458fe66f2317d4a7ba588c0c68e29ed 100644 (file)
--- a/ms-queue/args.c
+++ b/ms-queue/args.c
@@ -1,25 +1,17 @@
 #include "main.h"
 
 extern unsigned iterations;
-extern unsigned multi;
-extern unsigned initial_nodes;
 extern unsigned procs;
-extern unsigned repetitions;
-extern unsigned work;
 
 void parse_args(int argc, char **argv)
 {
-       extern char * optarg;
+       extern char *optarg;
        int c;
 
-       while ((c = getopt(argc, argv, "i:m:n:p:r:w:")) != EOF)
+       while ((c = getopt(argc, argv, "i:p:")) != EOF)
                switch(c) {
                        case 'i':  iterations = atoi(optarg); break;
-                       case 'm':  multi = atoi(optarg);  break;
-                       case 'n':  initial_nodes = atoi(optarg);  break;
                        case 'p':   procs = atoi(optarg);   break;
-                       case 'r':   repetitions = atoi(optarg);   break;
-                       case 'w':   work = atoi(optarg);   break;
                        default:
                                    assert(0);
                }