[klee-dev] Filename length for kleaver

[Weiqi Wang]

Hi Cristian,

Thanks. I’ve filed an issue on GitHub. https://github.com/klee/klee/issues/1418

Best,
Weiqi

From: Cristian Cadar<mailto:c.cadar at imperial.ac.uk>
Sent: Friday, August 13, 2021 4:10 AM
To: klee-dev at imperial.ac.uk<mailto:klee-dev at imperial.ac.uk>
Subject: Re: [klee-dev] Filename length for kleaver

EXTERNAL EMAIL:

Hi Weiqi,

I haven't looked at the code yet, but if this happens only for filenames
longer than 32 characters, this might be a bug.  Can you file an issue
on GitHub, with an example?

Best,
Cristian

On 06/08/2021 21:23, Weiqi Wang wrote:
> Hi,
>
> I noticed that kleaver generates different solutions if the .kquery
> filename is longer than 32 characters. Is the filename used as some kind
> of seed for the solver?
>
> Best,
>
> Weiqi
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>

_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed