Commit Graph

1 Commits

Author SHA1 Message Date
Michael Gottesman
7072a146a1 [sil-bug-reducer] Add --reduce-sil flag to ./bug-reduce opt.
This will cause the tool to first bisect on passes, and then try to reduce the
SIL by deleting functions.
2016-12-15 01:16:26 -08:00