search

csmith-project / creduce

C-Reduce, a C and C++ program reducer
Other
1.47k stars 128 forks source link

Add pass for line markers #183

Closed amykhuang closed 5 years ago

amykhuang commented 5 years ago

This is a pass that removes line markers in binary search chunks, since we get a lot of these and they often can't all be removed at once.

regehr commented 5 years ago

Looks great, thanks Amy!