about summary refs log tree commit diff homepage
path: root/test/Feature/SeedConcretizeExternalCall.c
AgeCommit message (Collapse)Author
2024-02-27This 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-30Add checks to the seed concretization tests about the expected number of queriesCristian Cadar
2024-01-30Concretize arguments to external function calls using seeds, if available. ↵Cristian Cadar
Added a test case.