[PATCH] D40809: [WIP] [analyzer] Dump counterexample traces as C programs

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 14 14:46:55 PST 2017

george.karpenkov added a comment.

@dcoughlin my current iteration creates a `PathDiagnosticConsumer` which outputs HTML with this report. I think that makes much more sense (as essentially this is a way of visualizing the error path).


More information about the cfe-commits mailing list