On 2 March 2013 13:10, David Lightstone <[email protected]> wrote: > Dear Dan Liew > > At one time I did attempt to build KLEE-FP. > No success, effort abandoned many months ago > > I do hope you are reporting existence based upon actually building it, > rather than reading a research paper
Yes I successfully built it. It wasn't easy but I successfully compiled KLEE-FP. I am currently in the middle of testing it so I don't actually know how well it really works yet. Regards, Dan Liew. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
