Home
last modified time | relevance | path

Searched refs:TreeStreamWriter (Results 1 – 6 of 6) sorted by relevance

/dports/security/klee/klee-2.2/lib/Support/
H A DTreeStream.cpp28 TreeStreamWriter::TreeStreamWriter(const std::string &_path) in TreeStreamWriter() function in TreeStreamWriter
41 TreeStreamWriter::~TreeStreamWriter() { in ~TreeStreamWriter()
46 bool TreeStreamWriter::good() { in good()
50 TreeOStream TreeStreamWriter::open() { in open()
54 TreeOStream TreeStreamWriter::open(const TreeOStream &os) { in open()
64 void TreeStreamWriter::write(TreeOStream &os, const char *s, unsigned size) { in write()
82 void TreeStreamWriter::flushBuffer() { in flushBuffer()
91 void TreeStreamWriter::flush() { in flush()
96 void TreeStreamWriter::readStream(TreeStreamID streamID, in readStream()
170 TreeOStream::TreeOStream(TreeStreamWriter &_writer, unsigned _id) in TreeOStream()
/dports/security/klee/klee-2.2/include/klee/ADT/
H A DTreeStream.h21 class TreeStreamWriter {
38 TreeStreamWriter(const std::string &_path);
39 ~TreeStreamWriter();
54 friend class TreeStreamWriter; variable
57 TreeStreamWriter *writer;
60 TreeOStream(TreeStreamWriter &_writer, unsigned _id);
/dports/security/klee/klee-2.2/include/klee/Core/
H A DInterpreter.h31 class TreeStreamWriter; variable
115 virtual void setPathWriter(TreeStreamWriter *tsw) = 0;
119 virtual void setSymbolicPathWriter(TreeStreamWriter *tsw) = 0;
/dports/security/klee/klee-2.2/unittests/TreeStream/
H A DTreeStreamTest.cpp12 TreeStreamWriter tsw("tsw1.out"); in TEST()
33 TreeStreamWriter tsw("tsw2.out"); in TEST()
/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h78 class TreeStreamWriter; variable
133 TreeStreamWriter *pathWriter, *symPathWriter;
491 void setPathWriter(TreeStreamWriter *tsw) override { pathWriter = tsw; } in setPathWriter()
493 void setSymbolicPathWriter(TreeStreamWriter *tsw) override { in setSymbolicPathWriter()
/dports/security/klee/klee-2.2/tools/klee/
H A Dmain.cpp304 TreeStreamWriter *m_pathWriter, *m_symPathWriter;
429 m_pathWriter = new TreeStreamWriter(getOutputFilename("paths.ts")); in setInterpreter()
435 m_symPathWriter = new TreeStreamWriter(getOutputFilename("symPaths.ts")); in setInterpreter()