projects
/
model-checker-benchmarks.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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
}