[klee-dev] "ERROR: object sizes differ"
Trần Thị Thùy Trang
thuytranga1 at gmail.com
Tue Aug 16 04:17:33 PDT 2011
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the klee-dev