Thanks Dan,
all clear now.
Thanks again
2018-03-03 21:23 GMT+00:00 Dan Liew :
> Hi,
>
> On 3 March 2018 at 07:29, Alberto Barbaro
> wrote:
> > Hi all,
> > few months ago I was trying to understand how to test pngpixel via KLEE
> and
> > after few suggestion I was able to do it.
> >
> > I have j
Hi,
On 3 March 2018 at 07:29, Alberto Barbaro wrote:
> Hi all,
> few months ago I was trying to understand how to test pngpixel via KLEE and
> after few suggestion I was able to do it.
>
> I have just one more question. When I run KLEE I have this output:
>
> klee@0c7da896b087:~/targets/libpng-1.
Hi all,
few months ago I was trying to understand how to test pngpixel via KLEE and
after few suggestion I was able to do it.
I have just one more question. When I run KLEE I have this output:
klee@0c7da896b087:~/targets/libpng-1.6.34/contrib/examples$ klee
--libc=uclibc --posix-runtime pngpixel.