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@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev