diff options
| author | Marek Chalupa <chalupa@fi.muni.cz> | 2020-01-28 15:29:37 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-04-08 13:23:45 +0100 |
| commit | 647a539052d11a2e96989ffa5dfc3fb1b021ca3f (patch) | |
| tree | 08a01f3ee0869d9b112146434eb1ba672d1c9bf1 /test/Programs | |
| parent | d4f759bcb0280cf36b14d1be4fa4c3e109958ae0 (diff) | |
| download | klee-647a539052d11a2e96989ffa5dfc3fb1b021ca3f.tar.gz | |
test: add a new test for readStringAtAddress
Read strings from different parts of objects.
Diffstat (limited to 'test/Programs')
0 files changed, 0 insertions, 0 deletions