Hi!
I'm using KLEE to generate test cases for simple programs. For some reason it always generates 0 (in case I take an int) and if 0 satisfies a particular path, it will check that and not put this condition through to STP. I wish to change that. How can I?
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
