projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix spacing with make tabbing
[satcheck.git]
/
main.cc
diff --git
a/main.cc
b/main.cc
index 9060af5f96124b38ce244a79100bfe8421f3b556..48ec61fc8f9535fbb2b7ee73d6672740ce41be7c 100644
(file)
--- a/
main.cc
+++ b/
main.cc
@@
-37,12
+37,12
@@
static void print_usage(const char *program_name, struct model_params *params)
param_defaults(params);
model_print(
param_defaults(params);
model_print(
-
"Model-checker options:\n"
-
"-h, --help Display this help message and exit\n"
-
"-Y, --avoidyields Fairness support by not executing yields\n"
-
"-b, --branches Only explore all branches\n"
-
"-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
-
" -- Program arguments follow.\n\n");
+ "Model-checker options:\n"
+ "-h, --help Display this help message and exit\n"
+ "-Y, --avoidyields Fairness support by not executing yields\n"
+ "-b, --branches Only explore all branches\n"
+ "-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
+ " -- Program arguments follow.\n\n");
exit(EXIT_SUCCESS);
}
exit(EXIT_SUCCESS);
}
@@
-54,7
+54,7
@@
static void parse_options(struct model_params *params, int argc, char **argv)
{"avoidyields", no_argument, NULL, 'Y'},
{"branches", no_argument, NULL, 'b'},
{"verbose", optional_argument, NULL, 'v'},
{"avoidyields", no_argument, NULL, 'Y'},
{"branches", no_argument, NULL, 'b'},
{"verbose", optional_argument, NULL, 'v'},
- {0, 0, 0, 0} /* Terminator */
+ {0, 0, 0, 0}
/* Terminator */
};
int opt, longindex;
bool error = false;
};
int opt, longindex;
bool error = false;
@@
-72,7
+72,7
@@
static void parse_options(struct model_params *params, int argc, char **argv)
case 'v':
params->verbose = optarg ? atoi(optarg) : 1;
break;
case 'v':
params->verbose = optarg ? atoi(optarg) : 1;
break;
- default: /* '?' */
+ default:
/* '?' */
error = true;
break;
}
error = true;
break;
}
@@
-131,12
+131,12
@@
int main(int argc, char **argv)
* called, it allocated internal buffers. We can't easily snapshot
* libc since we also use it.
*/
* called, it allocated internal buffers. We can't easily snapshot
* libc since we also use it.
*/
-
+
printf("SATCheck\n"
"Copyright (c) 2016 Regents of the University of California. All rights reserved.\n"
"Distributed under the GPLv2\n"
"Written by Brian Demsky and Patrick Lam\n\n");
printf("SATCheck\n"
"Copyright (c) 2016 Regents of the University of California. All rights reserved.\n"
"Distributed under the GPLv2\n"
"Written by Brian Demsky and Patrick Lam\n\n");
-
+
/* Configure output redirection for the model-checker */
redirect_output();
/* Configure output redirection for the model-checker */
redirect_output();