Re: [klee-dev] Filename length for kleaver

2021-08-20 Thread 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.ca...@imperial.ac.uk>
Sent: Friday, August 13, 2021 4:10 AM
To: klee-dev@imperial.ac.uk<mailto:klee-dev@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@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

___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Re: [klee-dev] Filename length for kleaver

2021-08-13 Thread 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@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

[klee-dev] Filename length for kleaver

2021-08-08 Thread Weiqi Wang 
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