summaryrefslogtreecommitdiff
path: root/src/main/command_executor_portfolio.cpp
diff options
context:
space:
mode:
authorKshitij Bansal <kshitij@cs.nyu.edu>2012-11-29 23:55:37 +0000
committerKshitij Bansal <kshitij@cs.nyu.edu>2012-11-29 23:55:37 +0000
commitc157f7e381d4fa2a713796b42a10562112952904 (patch)
tree85e395a6d39d58dc0ca77372dc32202713c78800 /src/main/command_executor_portfolio.cpp
parent5992a3983bd6ba7d4b16d5abe89e2fd759789a4e (diff)
reliable benchmark corresponding to bug468
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
-rw-r--r--src/main/command_executor_portfolio.cpp12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index a8159ef80..0e71e1539 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -306,6 +306,18 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
assert(portfolioReturn.first >= 0);
assert(unsigned(portfolioReturn.first) < d_numThreads);
+ if(Debug.isOn("treat-unknown-error")) {
+ if(d_ostringstreams[portfolioReturn.first]->str() == "unknown\n") {
+ *d_options[options::out]
+ << "portfolioReturn = (" << portfolioReturn.first << ", " << portfolioReturn.second
+ << ")\n";
+ for(unsigned i = 0; i < d_numThreads; ++i)
+ *d_options[options::out]
+ << "thread " << i << ": " << d_ostringstreams[i]->str() << std::endl;
+ throw Exception("unknown encountered");
+ }
+ }
+
*d_options[options::out]
<< d_ostringstreams[portfolioReturn.first]->str();
}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback