X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=mcs-queue%2Fargs.c;h=89101e5e0563c12170bc7f128e691939558ef7fb;hp=dba95cb201b594b953b53584b696aaabe03c9c32;hb=e4a48c7b09fa1ba3757aa6eb7e3df2513549b6b6;hpb=404f3f4a8d55aa8c511c049b732887df67a59468

diff --git a/mcs-queue/args.c b/mcs-queue/args.c
index dba95cb..89101e5 100644
--- a/mcs-queue/args.c
+++ b/mcs-queue/args.c
@@ -1,33 +1,26 @@
 #include "main.h"
 
-extern unsigned backoff_base_bits;
-extern unsigned backoff_cap_bits;
 extern unsigned iterations;
 extern unsigned multi;
 extern unsigned initial_nodes;
 extern unsigned procs;
 extern unsigned repetitions;
-extern unsigned backoff_shift_bits;
 extern unsigned work;
 
-void 
-parse_args(int argc,char **argv)
+void parse_args(int argc, char **argv)
 {
-extern char * optarg; 
-int c; 
+	extern char * optarg;
+	int c;
 
-  while((c=getopt(argc,argv,"b:c:i:m:n:p:r:s:w:"))!=EOF)
-    switch(c){
-    case 'b':  backoff_base_bits = atoi(optarg); break;
-    case 'c':  backoff_cap_bits = atoi(optarg); break;
-    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 's':   backoff_shift_bits = atoi(optarg);   break;
-    case 'w':   work = atoi(optarg);   break;
-    default: 
-      assert(0);
-    }
+	while ((c = getopt(argc, argv, "i:m:n:p:r:w:")) != 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);
+		}
 }