[klee-dev] "ERROR: object sizes differ"

[Trần Thị Thùy Trang]

Hi

While I tried to replay klee test I got the following error

ERROR:object sizes differ

I tried to print out the recorded byte number in .ktest file o->numBytes and
the calling klee_make_symbolic nBytes, sometime nBytes > o->numBytes and
sometime it is vice versa.

Will this error affect the result of the test replay? Can i track down the
problem variable which cause the error?
Thank you very much

Best regards
Trang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110816/c2122a21/attachment.html