is it possible in Klee to have something like int n; klee_make_symbolic(&n, sizeof(n), "n"); int a[n]; klee_make_symbolic(a, sizeof(a), "a");
I get the error "concretized symbolic size"
is it possible to have symbolic sized objects?
CREST seems to be able to manage them
Mauro
--
Computer science is no more about computers than astronomy is about telescopes
- Edsger W. Dijkstra
