[klee-dev] Sorry to disturb you again，i encounter another question in learning the third klee tutorial

[David Manouchehri]

I believe I wrote that writeup with IDA Pro 6.9, which is why the
output differs from what you got (on IDA Pro 6.6).

Simple enough to change if you want to follow along though.

1. Go to 0x4006F2 (main).
2. Press the key "y".
3. Change (int, __int64) to (int, char **, char **).