Path	Lines of Code
cbmc_viewer/coveraget.py	339
cbmc_viewer/loopt.py	152
cbmc_viewer/markup_summary.py	176
cbmc_viewer/reachablet.py	124
cbmc_viewer/sourcet.py	235
cbmc_viewer/srcloct.py	102
cbmc_viewer/tracet.py	506