Sudeep Kanav
Results
1
comments of
Sudeep Kanav
@tautschnig @kfriedberger do you think we should add the files [test27-1.c](c/ldv-regression/test27-1.c) and [test27-2.c](c/ldv-regression/test27-2.c) for memory safety check?
Sudeep Kanav
@tautschnig @kfriedberger do you think we should add the files [test27-1.c](c/ldv-regression/test27-1.c) and [test27-2.c](c/ldv-regression/test27-2.c) for memory safety check?