projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix yield bug
[satcheck.git]
/
main.cc
diff --git
a/main.cc
b/main.cc
index 48ec61fc8f9535fbb2b7ee73d6672740ce41be7c..2b619a6debe4b5c0b9d715813780f47d0ed0adc6 100644
(file)
--- a/
main.cc
+++ b/
main.cc
@@
-27,7
+27,7
@@
static void param_defaults(struct model_params *params)
{
params->branches = false;
static void param_defaults(struct model_params *params)
{
params->branches = false;
- params->noyields = false;
+ params->no
exec
yields = false;
params->verbose = !!DBG_ENABLED();
}
params->verbose = !!DBG_ENABLED();
}
@@
-67,7
+67,7
@@
static void parse_options(struct model_params *params, int argc, char **argv)
params->branches = true;
break;
case 'Y':
params->branches = true;
break;
case 'Y':
- params->noyields = true;
+ params->no
exec
yields = true;
break;
case 'v':
params->verbose = optarg ? atoi(optarg) : 1;
break;
case 'v':
params->verbose = optarg ? atoi(optarg) : 1;