diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-04-26 19:11:34 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-10 16:47:52 +0900 |
| commit | cfcb14de828ba961f67e5b211b81b47301e4f209 (patch) | |
| tree | 726cc946450afe799fbd0108d6c291a35aa8805f /lib/Core/Differentiator.h | |
| parent | e1d1ef503ab66ed759a0656e142daa3b972c6c80 (diff) | |
| download | klee-cfcb14de828ba961f67e5b211b81b47301e4f209.tar.gz | |
Conclude concrete execution impl
Diffstat (limited to 'lib/Core/Differentiator.h')
| -rw-r--r-- | lib/Core/Differentiator.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/Core/Differentiator.h b/lib/Core/Differentiator.h index 54a12ac7..1f9c7766 100644 --- a/lib/Core/Differentiator.h +++ b/lib/Core/Differentiator.h @@ -30,10 +30,14 @@ bool isSymArg(std::string); bool isSymOut(std::string); struct Differentiator { - uint64_t revA, revB; - std::map<uint8_t, std::string> args; + std::uint64_t revA, revB; + // arg_k => v + std::map<std::uint8_t, std::string> args; + // k => (out!k!a, out!k!b) std::map<std::string, std::pair<std::string, std::string>> outputs; - Differentiator(uint64_t a, uint64_t b) : revA{a}, revB{b} {} + // rev => stdout + std::map<std::uint64_t, std::string> stdouts; + Differentiator(std::uint64_t a, std::uint64_t b) : revA{a}, revB{b} {} }; /// Write convenient representation for debugging |
