Summary: 10 instances, 10 unique

Text	Count
# TODO: again dicts -> dict	1
# TODO: run preprocessor without destroying existing goto binary	1
# TODO: Consider replacing the srcloc dict with a srcloc class.	1
# TODO: generally don't fail silently, give warning or raise exception	1
"hidden": True # TODO: should match corresponding call	1
# TODO: a JSONEncoder for Status enums so json.dumps(Status.HIT) works	1
# TODO: generally give hints for how to fix the problem (give actions to take)	1
# TODO: This classification of warnings should be done by make-results	1
# TODO: distinguish between coverage of source code and proof code	1
# TODO: Does file-local name mangling mess this up?	1