[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!
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev