[klee-dev] Once again, It is my own mistake in my previous post titled as ""Sorry to disturb you again，i encounter another question in learning the third klee tutorial"

[曾杰]

Yeah, *(a2+8)和*(a2[1]) is one thing, if the type of a2 is char **;
So sorry for my mistake. I am very careless.


Best wished for you!
-------------- next part --------------
HTML attachment scrubbed and removed