Home
last modified time | relevance | path

Searched refs:pathWriter (Results 1 – 2 of 2) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h133 TreeStreamWriter *pathWriter, *symPathWriter; variable
491 void setPathWriter(TreeStreamWriter *tsw) override { pathWriter = tsw; } in setPathWriter()
H A DExecutor.cpp454 pathWriter(0), symPathWriter(0), specialFunctionHandler(0), timers{time::Span(TimerInterval)}, in Executor()
1086 if (pathWriter) {
1094 if (pathWriter) {
1146 if (pathWriter) {
1149 falseState->pathOS = pathWriter->open(current.pathOS);
4322 if (pathWriter)
4323 state->pathOS = pathWriter->open();
4379 assert(pathWriter);