search

msv-lab / angelix

Semantic program repair system for C programs
http://angelix.io
MIT License
97 stars 38 forks source link

Support null-terminated strings for ANGELIX_OUTPUT #1

Open mechtaev opened 8 years ago

yxliang01 commented 6 years ago

@mechtaev Hey Sergey, is there any progress on this yet?

Thanks!

mechtaev commented 6 years ago

I will add this in some form in the version 2.0.

Sergey Mechtaev National University of Singapore www.comp.nus.edu.sg/~mechtaev/

On Tue, Apr 24, 2018 at 2:08 AM, Xiao Liang notifications@github.com wrote:

@mechtaev https://github.com/mechtaev Hey Sergey, is there any progress on this yet?

Thanks!

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/mechtaev/angelix/issues/1#issuecomment-383669727, or mute the thread https://github.com/notifications/unsubscribe-auth/AAnTFr6hc9FS78YtwdCyzY2bLob3EcIkks5trhiXgaJpZM4H382T .