[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 17:01:20 PST 2017
george.karpenkov added a comment.
@alexshap That's a good question, and honestly I am not sure.
It is probably a good idea to have the tests which run the counterexample dumper and check that it does not crash.
As for the contents, I'm not sure: I would like to switch to generating HTML, and testing HTML output is IMO close to useless, because it has all the presentation stuff in it.
More information about the cfe-commits