| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-27 | This commit fixes the concretization of arguments following an external call ↵ | Cristian Cadar | |
| with symbolic arguments. It also introduces a new external call policy, where the symbolic inputs are left unconstrained following such a call, useful for certain external calls such as printf. | |||
| 2024-02-27 | Two test cases exercising two policies for calling external calls with ↵ | Cristian Cadar | |
| symbolic arguments. One of them is currently expected to fail. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |