Path	Lines of Code
cbmc_viewer/MANIFEST.in	4
cbmc_viewer/__init__.py	1
cbmc_viewer/configt.py	13
cbmc_viewer/coveraget.py	339
cbmc_viewer/filet.py	38
cbmc_viewer/loopt.py	152
cbmc_viewer/make_coverage.py	27
cbmc_viewer/make_loop.py	28
cbmc_viewer/make_property.py	27
cbmc_viewer/make_reachable.py	31
cbmc_viewer/make_result.py	26
cbmc_viewer/make_source.py	30
cbmc_viewer/make_symbol.py	34
cbmc_viewer/make_trace.py	28
cbmc_viewer/markup_code.py	125
cbmc_viewer/markup_link.py	52
cbmc_viewer/markup_summary.py	176
cbmc_viewer/markup_trace.py	142
cbmc_viewer/optionst.py	340
cbmc_viewer/parse.py	63
cbmc_viewer/propertyt.py	126
cbmc_viewer/reachablet.py	124
cbmc_viewer/report.py	37
cbmc_viewer/resultt.py	319
cbmc_viewer/runt.py	24
cbmc_viewer/sourcet.py	235
cbmc_viewer/srcloct.py	102
cbmc_viewer/symbol_table.py	105
cbmc_viewer/symbolt.py	136
cbmc_viewer/templates.py	32
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
cbmc_viewer/tracet.py	506
cbmc_viewer/util.py	35
cbmc_viewer/version.py	7
cbmc_viewer/viewer.css	82
cbmc_viewer/viewer.js	78
cbmc_viewer/viewer.py	147
setup.py	47
summary/stubs.py	413
summary/summary.py	200