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? -------------- next part -------------- HTML attachment scrubbed and removed