diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-07-21 23:01:54 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-23 13:46:59 +0100 |
| commit | 09bf6d322d79381de780871f26cdffc26d7dacf4 (patch) | |
| tree | 1e829c75b7ee18c130698894e5583fee7300688f /LICENSE.TXT | |
| parent | 9358aa95f9ae94cbb4e1a9f638e953e0164da86c (diff) | |
| download | klee-09bf6d322d79381de780871f26cdffc26d7dacf4.tar.gz | |
ModuleUtil: improve and test valueIsOnlyCalled
* handle BlockAddress (which is not a valid function pointer) * there is no instruction with opcode 0 * add test for functionality
Diffstat (limited to 'LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions