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-01-30 | Add checks to the seed concretization tests about the expected number of queries | Cristian Cadar | |
2024-01-30 | Concretize arguments to external function calls using seeds, if available. ↵ | Cristian Cadar | |
Added a test case. |