Path	Lines of Code
cbmc_viewer/templates/code.jinja.html	14
cbmc_viewer/templates/link.jinja.html	37
cbmc_viewer/templates/summary.jinja.html	146
cbmc_viewer/templates/trace.jinja.html	73