[klee-dev] Unexpected instructions in instructions.txt

[Alberto Barbaro]

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