[klee-dev] Force klee to generate tests based on ONLY klee_make_symbolic variables

[Truc Nguyen Lam]

Hi all,

I just wonder if there is any way that I can force klee to generate 
tests based on ONLY klee_make_symbolic variables (ignoring branches, ...).

Thanks,
Truc