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
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
