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