diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2021-05-06 17:53:06 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-05-10 17:48:34 +0100 |
| commit | c155cc7132a4d4bff042bf982ee08bf142a21b5e (patch) | |
| tree | 9de07107a954efc78b913e4b9fa45d9c8d7b1c90 /utils | |
| parent | 41e84de8c64f15526f33e0b9769a9e6f0b861c44 (diff) | |
| download | klee-c155cc7132a4d4bff042bf982ee08bf142a21b5e.tar.gz | |
extend function pointer test
Part of the test was already disabled in the initial checkin. However, we do support function pointers if they are restricted to one or more possible values.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions