本文整理汇总了C++中executor::ExactResolutionList::size方法的典型用法代码示例。如果您正苦于以下问题:C++ ExactResolutionList::size方法的具体用法?C++ ExactResolutionList::size怎么用?C++ ExactResolutionList::size使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类executor::ExactResolutionList
的用法示例。
在下文中一共展示了ExactResolutionList::size方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: handlePreferCex
void SpecialFunctionHandler::handlePreferCex(ExecutionState &state,
KInstruction *target,
std::vector<ref<Expr> > &arguments) {
assert(arguments.size()==2 &&
"invalid number of arguments to klee_prefex_cex");
ref<Expr> cond = arguments[1];
if (cond->getWidth() != Expr::Bool)
cond = NeExpr::create(cond, ConstantExpr::alloc(0, cond->getWidth()));
Executor::ExactResolutionList rl;
executor.resolveExact(state, arguments[0], rl, "prefex_cex");
assert(rl.size() == 1 &&
"prefer_cex target must resolve to precisely one object");
rl[0].first.first->cexPreferences.push_back(cond);
}