| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-11-09 | Fix BFS searcher | Martin Nowack | |
| For performance reasons, if KLEE branches, one state is reused and it is progressed by adding new constraints. Make sure both new states end up at the end of the BFS searcher queue. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |