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

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Dec 15 15:20:48 PST 2017

george.karpenkov added a comment.

@dcoughlin @NoQ I think this version is reasonable enough to get committed. Another easy iteration would be to change visitor to simply add the diagnostic to path, and move the actual printing to `CounterexampleDiagnostics`.


More information about the cfe-commits mailing list