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
