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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
