[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.
(it could have been possible to e.g. make the output mode which generates JSON, test that, and then use javascript templating to convert it to HTML, but that would not allow reusing existing code for outputting HTML formatted code with macros expanded properly)


More information about the cfe-commits mailing list