projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
538f4b6
)
Removing check that is no longer valid.
author
Clark Barrett
<barrett@cs.nyu.edu>
Sat, 28 May 2016 00:43:40 +0000
(17:43 -0700)
committer
Clark Barrett
<barrett@cs.nyu.edu>
Sat, 28 May 2016 00:43:40 +0000
(17:43 -0700)
src/main/portfolio_util.cpp
patch
|
blob
|
history
diff --git
a/src/main/portfolio_util.cpp
b/src/main/portfolio_util.cpp
index 03827a917971d46f9e4837976340fb5f4bc2ca5f..8e38eb528a1d2c261d051ef927acd186ea0c2a01 100644
(file)
--- a/
src/main/portfolio_util.cpp
+++ b/
src/main/portfolio_util.cpp
@@
-98,12
+98,6
@@
void parseThreadSpecificOptions(OptionsList& threadOptions, const Options& opts)
ss << optid << ": " << e.getMessage();
throw OptionException(ss.str());
}
- if(optind != targc) {
- stringstream ss;
- ss << "unused argument `" << targv[optind]
- << "' in thread configuration " << optid << " !";
- throw OptionException(ss.str());
- }
if(tOpts.getThreads() != numThreads ||
tOpts.getThreadArgv() != opts.getThreadArgv()) {
stringstream ss;