On Wed, Jan 18, 2012 at 02:46:27AM +0100, Stefan Bucur wrote: > Hi, > > I'm submitting a patch that adds support in the KLEE executor for handling > bitcasted aliased calls, which are valid LLVM constructs that might be > encountered from time to time.
Hi Stefan, Likewise, I made a very similar change in r136605. Does this fix the problem for you? Thanks, -- Peter _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
