diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-05-01 13:57:33 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-06-22 16:13:14 +0900 |
| commit | 811921cfc620b261e4d76a8f2ccb438651f40fc7 (patch) | |
| tree | b0417071b4b290fd36dc60244a3f2ba27dfe3a65 /lib/Core/Differentiator.h | |
| parent | 8a40d5b11fc50e2f13011f6ea39b561402450d4a (diff) | |
| download | klee-811921cfc620b261e4d76a8f2ccb438651f40fc7.tar.gz | |
Half-bake decision clustering
Diffstat (limited to 'lib/Core/Differentiator.h')
| -rw-r--r-- | lib/Core/Differentiator.h | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/lib/Core/Differentiator.h b/lib/Core/Differentiator.h index b9aa1ba4..70e83848 100644 --- a/lib/Core/Differentiator.h +++ b/lib/Core/Differentiator.h @@ -23,16 +23,10 @@ namespace klee { -/// Return if name matches arg\d\d -bool isSymArg(std::string); - -/// Return if name matches out!.*\d -bool isSymOut(std::string); - struct Differentiator { std::uint64_t revA, revB; // arg_k => v - std::map<std::uint8_t, std::string> args; + std::vector<std::string> args; // k => (out!k!a, out!k!b) std::map<std::string, std::pair<std::string, std::string>> outputs; // rev => stdout |