Hi Tom, thanks for the patch, I applied it in r143693. Best, Cristian
On 03/11/11 21:00, Tom Bergan wrote: > Hello, > > I believe there's a bug in ObjectState::read. On big endian > architectures, ObjectState::read will always return a one byte value. I > actually don't have a test case for this, it's just something I noticed > while perusing code. Patch for lib/Core/Memory.cpp attached. > > -Tom > > > > _______________________________________________ > klee-dev mailing list > klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
