[klee-dev] Filename length for kleaver

[Cristian Cadar]

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
>