Home
last modified time | relevance | path

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

/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h133 TreeStreamWriter *pathWriter, *symPathWriter; variable
494 symPathWriter = tsw; in setSymbolicPathWriter()
H A DExecutor.cpp454 pathWriter(0), symPathWriter(0), specialFunctionHandler(0), timers{time::Span(TimerInterval)}, in Executor()
1155 if (symPathWriter) {
1156 falseState->symPathOS = symPathWriter->open(current.symPathOS);
4324 if (symPathWriter)
4325 state->symPathOS = symPathWriter->open();
4384 assert(symPathWriter);