Hi all, I'm still working on pngpixel ( libpng 1.6.34 ). I was able to compile everything and execute klee as expected. The only weird thing is that if I make klee to create instructions.txt ( -debug-print-instructions=src:file ) in that file I have references to pngrutil.c:3147 that is an error condition that is never encountered during the klee execution. If you checked you would see that instruction prints and error message that is never shown during the klee execution, so I'm sure that the instruction was never executed.
Do you know why the reference to pngrutil.c:3147 is anyway present in instructions.txt? Thanks Alberto
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
