cbmc_viewer/reachablet.py (2 lines):
	- line 36: # TODO: again dicts -> dict
	- line 126: # TODO: Does file-local name mangling mess this up?


cbmc_viewer/coveraget.py (2 lines):
	- line 40: # TODO: a JSONEncoder for Status enums so json.dumps(Status.HIT) works
	- line 150: # TODO: distinguish between coverage of source code and proof code


cbmc_viewer/loopt.py (2 lines):
	- line 79: # TODO: generally don't fail silently, give warning or raise exception
	- line 80: # TODO: generally give hints for how to fix the problem (give actions to take)


cbmc_viewer/tracet.py (1 line):
	- line 681: "hidden": True # TODO: should match corresponding call


cbmc_viewer/markup_summary.py (1 line):
	- line 152: # TODO: This classification of warnings should be done by make-results


cbmc_viewer/sourcet.py (1 line):
	- line 293: # TODO: run preprocessor without destroying existing goto binary


cbmc_viewer/srcloct.py (1 line):
	- line 100: # TODO: Consider replacing the srcloc dict with a srcloc class.