diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-09-05 16:58:21 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-11-05 14:51:18 +0000 |
| commit | 7fa96f70cf52b0f3112046962487e95eab0d88fe (patch) | |
| tree | bb594fdff186f558f01bda4f91cb7af085fb37a9 /unittests | |
| parent | 2429db65ea2a005c76d8c4613e833d8f79cb4db1 (diff) | |
| download | klee-7fa96f70cf52b0f3112046962487e95eab0d88fe.tar.gz | |
Mark all constant global memory objects as constant
Fixes #264. We first aggregate all constant memory objects initialise them and initialise their counter parts in the concrete memory. After that, we mark memory objects as constant such that they can't be modified (i.e. this includes marking them symbolic).
Diffstat (limited to 'unittests')
0 files changed, 0 insertions, 0 deletions