Hi Alberto,
On Mon, 29 Oct 2018 18:33:42 +0000 Alberto Barbaro <barbaro.albe...@gmail.com> wrote: > ASAP I'll try to use the approach you suggest and if working fine I could > submit a PR if for you is OK. I think this is not necessary. For upstream we have another solution in mind that unfortunately needs more refactoring and testing. Good luck with your searcher. Kind regards, Frank _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev