diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-03-22 16:39:49 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 21:57:46 +0200 |
| commit | 91af7cdc0521a155a050976eaa8856f04a576826 (patch) | |
| tree | 39fd16ed9917fe921b838771054a630fe3bcefef /test/Feature/RewriteEqualities.c | |
| parent | f3ff3b06318cae93db4d682e6451ddbca4760328 (diff) | |
| download | klee-91af7cdc0521a155a050976eaa8856f04a576826.tar.gz | |
Generate forked states for switch instructions deterministically
This patch generates the states based on the order of switch-cases. Before, switch-constraints were randomly assigned to forked states. As generated code might be different between LLVM versions, we use the case values, order them, and iterate in that order over the cases. This way we can also support deterministic execution of older LLVM versions.
Diffstat (limited to 'test/Feature/RewriteEqualities.c')
0 files changed, 0 insertions, 0 deletions