[klee-dev] Stop generating tests with klee assume false

[wamiq at iitk.ac.in]

Hi,

I am new to using klee. Is there any option by which I can stop klee
providing test cases in which "klee_assume" call is "false" i.e. in case
there is no feasible path, klee should not generate any test case.

Thanks.