diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2023-10-29 18:23:14 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-03-05 17:46:16 +0900 |
| commit | ae1f642b1f04bce817fa66b92515da9459f1a4d0 (patch) | |
| tree | c2c87047607579dbc0a741db5267327192e4acbd /utils/hacks/TreeGraphs/DumpTreeStream.py | |
| parent | be10b1d4179db60fc1295be58626c3467c744efd (diff) | |
| download | klee-ae1f642b1f04bce817fa66b92515da9459f1a4d0.tar.gz | |
Implement return value detection
Values returned after reaching patch location from functions in the specified source file are now automatically accounted for differential test generation.
Diffstat (limited to 'utils/hacks/TreeGraphs/DumpTreeStream.py')
0 files changed, 0 insertions, 0 deletions