diff options
Diffstat (limited to 'lib/Core/Differentiator.h')
-rw-r--r-- | lib/Core/Differentiator.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Core/Differentiator.h b/lib/Core/Differentiator.h index 11225ac7..98c15e92 100644 --- a/lib/Core/Differentiator.h +++ b/lib/Core/Differentiator.h @@ -35,8 +35,8 @@ private: struct Differentiator { /// Buffer of bytes typedef std::vector<unsigned char> Bytes; - /// CLI arguments - typedef std::vector<Bytes> TestArgs; + /// argv stdin + typedef std::pair<std::vector<Bytes>, Bytes> TestInps; /// :rev (:var val) stdout typedef std::map<std::uint64_t, std::pair<std::map<std::string, Bytes>, @@ -59,6 +59,8 @@ struct Differentiator { /// Program revision numbers std::set<std::uint64_t> revisions; + /// Differentiated pairs + std::map<std::pair<std::uint64_t, std::uint64_t>, TestOuts*> done; private: /// Program path for concrete execution. const char* prog; @@ -67,7 +69,7 @@ private: std::set<ExecutionState*, ExecutionStatePathCondCompare>> exits; /// Differential tests - std::map<TestArgs, TestOuts> tests; + std::map<TestInps, TestOuts> tests; /// SMT solver "borrowed" from Executor std::unique_ptr<TimingSolver>* solver; /// SMT solving timeout @@ -76,8 +78,6 @@ private: ArrayCache& arrayCache; /// Symbolic output renamers ExprCmbnVisitor visitorA, visitorB; - /// Differentiated pairs - std::map<std::pair<std::uint64_t, std::uint64_t>, TestOuts*> done; }; } // namespace klee |