On Wed, Jan 18, 2012 at 02:38:31AM +0100, Stefan Bucur wrote: > Hi, > > Below is a patch that addresses an issue that would cause Klee to > incorrectly execute a getelementptr instruction that contains negative > offsets. I presume this situation has not been encountered too much before, > but it appears that LLVM 3.0 likes to construct such instructions more > often.
Hi Stefan, Have you tried the latest version of KLEE? I made almost this exact same change in r136474. Thanks, -- Peter _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
