本文整理汇总了C++中Interpreter::getPathStreamID方法的典型用法代码示例。如果您正苦于以下问题：C++ Interpreter::getPathStreamID方法的具体用法？C++ Interpreter::getPathStreamID怎么用？C++ Interpreter::getPathStreamID使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Interpreter的用法示例。
在下文中一共展示了Interpreter::getPathStreamID方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: processTestCase
/* Outputs all files (.ktest, .pc, .cov etc.) describing a test case */
void KleeHandler::processTestCase(const ExecutionState &state,
const char *errorMessage,
const char *errorSuffix) {
if (errorMessage && ExitOnError) {
llvm::errs() << "EXITING ON ERROR:\n" << errorMessage << "\n";
exit(1);
}
if (!NoOutput) {
std::vector< std::pair<std::string, std::vector<unsigned char> > > out;
bool success = m_interpreter->getSymbolicSolution(state, out);
if (!success)
klee_warning("unable to get symbolic solution, losing test case");
double start_time = util::getWallTime();
unsigned id = ++m_testIndex;
if (success) {
KTest b;
b.numArgs = m_argc;
b.args = m_argv;
b.symArgvs = 0;
b.symArgvLen = 0;
b.numObjects = out.size();
b.objects = new KTestObject[b.numObjects];
assert(b.objects);
for (unsigned i=0; i<b.numObjects; i++) {
KTestObject *o = &b.objects[i];
o->name = const_cast<char*>(out[i].first.c_str());
o->numBytes = out[i].second.size();
o->bytes = new unsigned char[o->numBytes];
assert(o->bytes);
std::copy(out[i].second.begin(), out[i].second.end(), o->bytes);
}
if (!kTest_toFile(&b, getOutputFilename(getTestFilename("ktest", id)).c_str())) {
klee_warning("unable to write output test case, losing it");
}
for (unsigned i=0; i<b.numObjects; i++)
delete[] b.objects[i].bytes;
delete[] b.objects;
}
if (errorMessage) {
llvm::raw_ostream *f = openTestFile(errorSuffix, id);
*f << errorMessage;
delete f;
}
if (m_pathWriter) {
std::vector<unsigned char> concreteBranches;
m_pathWriter->readStream(m_interpreter->getPathStreamID(state),
concreteBranches);
llvm::raw_fd_ostream *f = openTestFile("path", id);
for (std::vector<unsigned char>::iterator I = concreteBranches.begin(),
E = concreteBranches.end();
I != E; ++I) {
*f << *I << "\n";
}
delete f;
}
if (errorMessage || WritePCs) {
std::string constraints;
m_interpreter->getConstraintLog(state, constraints,Interpreter::KQUERY);
llvm::raw_ostream *f = openTestFile("pc", id);
*f << constraints;
delete f;
}
if (WriteCVCs) {
std::string constraints;
m_interpreter->getConstraintLog(state, constraints, Interpreter::STP);
llvm::raw_ostream *f = openTestFile("cvc", id);
*f << constraints;
delete f;
}
if(WriteSMT2s) {
std::string constraints;
m_interpreter->getConstraintLog(state, constraints, Interpreter::SMTLIB2);
llvm::raw_ostream *f = openTestFile("smt2", id);
*f << constraints;
delete f;
}
if (m_symPathWriter) {
std::vector<unsigned char> symbolicBranches;
m_symPathWriter->readStream(m_interpreter->getSymbolicPathStreamID(state),
symbolicBranches);
llvm::raw_fd_ostream *f = openTestFile("sym.path", id);
for (std::vector<unsigned char>::iterator I = symbolicBranches.begin(), E = symbolicBranches.end(); I!=E; ++I) {
*f << *I << "\n";
}
delete f;
}
//.........这里部分代码省略.........