diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-11-07 14:27:07 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-12-12 17:50:24 +0000 |
| commit | d8deadd787d0f857d701b73aeaa3e0753efd9405 (patch) | |
| tree | 4c28ae2980194460f6694b807fc8ede72aff57f9 /unittests | |
| parent | ebd3eb0ec11b053ddf5eee44c1217436948279d9 (diff) | |
| download | klee-d8deadd787d0f857d701b73aeaa3e0753efd9405.tar.gz | |
[optimize-array] Fix update list read order
ArrayExprOptimizer read the UpdateList in the wrong order, which meant that it used least recent update instead of the most recent one. This patch fixes this as well as adds a test to illustrate the issue.
Diffstat (limited to 'unittests')
0 files changed, 0 insertions, 0 deletions