Skip to content

Commit

Permalink
Fix formatting inconsistency.
Browse files Browse the repository at this point in the history
  • Loading branch information
regehr committed Aug 22, 2011
1 parent ad20f66 commit 91f65aa
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/RandomProgramGenerator.cpp
Expand Up @@ -1060,7 +1060,7 @@ main(int argc, char **argv)
continue;
}

if (strcmp (argv[i], "--null-ptr-deref-prob") ==0 ) {
if (strcmp (argv[i], "--null-ptr-deref-prob") == 0 ) {
unsigned long prob;
i++;
arg_check(argc, i);
Expand All @@ -1070,7 +1070,7 @@ main(int argc, char **argv)
continue;
}

if (strcmp (argv[i], "--dangling-ptr-deref-prob") ==0 ) {
if (strcmp (argv[i], "--dangling-ptr-deref-prob") == 0 ) {
unsigned long prob;
i++;
arg_check(argc, i);
Expand All @@ -1080,7 +1080,7 @@ main(int argc, char **argv)
continue;
}

if (strcmp (argv[i], "--max-expr-complexity") ==0 ) {
if (strcmp (argv[i], "--max-expr-complexity") == 0 ) {
unsigned long comp;
i++;
arg_check(argc, i);
Expand All @@ -1090,7 +1090,7 @@ main(int argc, char **argv)
continue;
}

if (strcmp (argv[i], "--max-block-depth") ==0 ) {
if (strcmp (argv[i], "--max-block-depth") == 0 ) {
unsigned long depth;
i++;
arg_check(argc, i);
Expand All @@ -1100,7 +1100,7 @@ main(int argc, char **argv)
continue;
}

if (strcmp (argv[i], "--max-struct-nested-level") ==0 ) {
if (strcmp (argv[i], "--max-struct-nested-level") == 0 ) {
unsigned long depth;
i++;
arg_check(argc, i);
Expand Down

0 comments on commit 91f65aa

Please sign in to comment.