Hi Cristian, Thanks. I’ve filed an issue on GitHub. https://github.com/klee/klee/issues/1418
Best, Weiqi From: Cristian Cadar<mailto:[email protected]> Sent: Friday, August 13, 2021 4:10 AM To: [email protected]<mailto:[email protected]> 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
