| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2018-11-02 | The test DeterministicSwitch.c does not need to allow external symbolic calls | Cristian Cadar | |
| 2018-06-29 | Make ConstantExpr hashing function faster and modify affected test | Timotej Kapus | |
| 2016-07-08 | Generate forked states for switch instructions deterministically | Martin Nowack | |
| 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. | |||
| 2016-07-08 | Use vector instead of set to add/remove states | Martin Nowack | |
| Deterministic adding/removing of states. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |