cool!

[aquynh]

this looks nice, but will you add a README in English?

keep it up, cheers!

[coolsmurfs]

Yes,sir,I will ,We will add a READ me in English and will add the symbolic execution to this project.Keep it up.Thanks sir.

[coolsmurfs]

We will add the test cases in the latter sir,wait for me!

[aquynh]

looking forward to that ;-)