file 1	file 2	# same commits	# commits file 1	# commits file 2
cbmc_viewer/sourcet.py	cbmc_viewer/resultt.py	5	8	9
cbmc_viewer/loopt.py	cbmc_viewer/resultt.py	5	6	9
cbmc_viewer/loopt.py	cbmc_viewer/sourcet.py	5	6	8
cbmc_viewer/propertyt.py	cbmc_viewer/resultt.py	5	8	9
cbmc_viewer/propertyt.py	cbmc_viewer/sourcet.py	5	8	8
cbmc_viewer/propertyt.py	cbmc_viewer/loopt.py	5	8	6
cbmc_viewer/reachablet.py	cbmc_viewer/resultt.py	5	8	9
cbmc_viewer/reachablet.py	cbmc_viewer/sourcet.py	5	8	8
cbmc_viewer/reachablet.py	cbmc_viewer/loopt.py	5	8	6
cbmc_viewer/reachablet.py	cbmc_viewer/propertyt.py	5	8	8
cbmc_viewer/version.py	setup.py	4	6	8
cbmc_viewer/tracet.py	cbmc_viewer/coveraget.py	4	14	10
cbmc_viewer/resultt.py	cbmc_viewer/coveraget.py	4	9	10
cbmc_viewer/resultt.py	cbmc_viewer/tracet.py	4	9	14
cbmc_viewer/sourcet.py	cbmc_viewer/coveraget.py	4	8	10
cbmc_viewer/sourcet.py	cbmc_viewer/tracet.py	4	8	14
cbmc_viewer/viewer.py	cbmc_viewer/optionst.py	4	6	5
cbmc_viewer/loopt.py	cbmc_viewer/coveraget.py	4	6	10
cbmc_viewer/loopt.py	cbmc_viewer/tracet.py	4	6	14
cbmc_viewer/propertyt.py	cbmc_viewer/coveraget.py	4	8	10
cbmc_viewer/propertyt.py	cbmc_viewer/tracet.py	4	8	14
cbmc_viewer/reachablet.py	cbmc_viewer/coveraget.py	4	8	10
cbmc_viewer/reachablet.py	cbmc_viewer/tracet.py	4	8	14
cbmc_viewer/symbolt.py	cbmc_viewer/coveraget.py	4	10	10
cbmc_viewer/symbolt.py	cbmc_viewer/tracet.py	4	10	14
cbmc_viewer/symbolt.py	cbmc_viewer/resultt.py	4	10	9
cbmc_viewer/symbolt.py	cbmc_viewer/sourcet.py	4	10	8
cbmc_viewer/symbolt.py	cbmc_viewer/loopt.py	4	10	6
cbmc_viewer/symbolt.py	cbmc_viewer/propertyt.py	4	10	8
cbmc_viewer/symbolt.py	cbmc_viewer/reachablet.py	4	10	8
cbmc_viewer/sourcet.py	cbmc_viewer/markup_summary.py	3	8	7
cbmc_viewer/markup_summary.py	cbmc_viewer/coveraget.py	2	7	10
cbmc_viewer/markup_summary.py	cbmc_viewer/tracet.py	2	7	14
cbmc_viewer/markup_summary.py	cbmc_viewer/resultt.py	2	7	9
cbmc_viewer/viewer.py	cbmc_viewer/sourcet.py	2	6	8
cbmc_viewer/loopt.py	cbmc_viewer/markup_summary.py	2	6	7
cbmc_viewer/markup_trace.py	cbmc_viewer/coveraget.py	2	4	10
cbmc_viewer/markup_trace.py	cbmc_viewer/tracet.py	2	4	14
cbmc_viewer/markup_trace.py	cbmc_viewer/resultt.py	2	4	9
cbmc_viewer/markup_trace.py	cbmc_viewer/markup_summary.py	2	4	7
cbmc_viewer/markup_trace.py	cbmc_viewer/sourcet.py	2	4	8
cbmc_viewer/markup_trace.py	cbmc_viewer/loopt.py	2	4	6
cbmc_viewer/propertyt.py	cbmc_viewer/markup_summary.py	2	8	7
cbmc_viewer/propertyt.py	cbmc_viewer/markup_trace.py	2	8	4
cbmc_viewer/reachablet.py	cbmc_viewer/markup_summary.py	2	8	7
cbmc_viewer/reachablet.py	cbmc_viewer/markup_trace.py	2	8	4
cbmc_viewer/symbolt.py	cbmc_viewer/markup_summary.py	2	10	7
cbmc_viewer/symbolt.py	cbmc_viewer/markup_trace.py	2	10	4
cbmc_viewer/symbolt.py	cbmc_viewer/viewer.py	2	10	6
cbmc_viewer/make_symbol.py	cbmc_viewer/viewer.py	2	3	6
cbmc_viewer/make_symbol.py	cbmc_viewer/symbolt.py	2	3	10
cbmc_viewer/srcloct.py	cbmc_viewer/coveraget.py	1	8	10
cbmc_viewer/tracet.py	cbmc_viewer/srcloct.py	1	14	8
cbmc_viewer/resultt.py	cbmc_viewer/srcloct.py	1	9	8
cbmc_viewer/util.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/markup_summary.py	cbmc_viewer/srcloct.py	1	7	8
cbmc_viewer/optionst.py	cbmc_viewer/markup_summary.py	1	5	7
cbmc_viewer/sourcet.py	cbmc_viewer/optionst.py	1	8	5
cbmc_viewer/sourcet.py	cbmc_viewer/srcloct.py	1	8	8
cbmc_viewer/viewer.py	cbmc_viewer/markup_summary.py	1	6	7
cbmc_viewer/viewer.py	cbmc_viewer/coveraget.py	1	6	10
cbmc_viewer/viewer.py	cbmc_viewer/tracet.py	1	6	14
cbmc_viewer/viewer.py	cbmc_viewer/resultt.py	1	6	9
cbmc_viewer/loopt.py	cbmc_viewer/srcloct.py	1	6	8
cbmc_viewer/loopt.py	cbmc_viewer/viewer.py	1	6	6
cbmc_viewer/markup_code.py	cbmc_viewer/coveraget.py	1	3	10
cbmc_viewer/markup_code.py	cbmc_viewer/srcloct.py	1	3	8
cbmc_viewer/markup_code.py	cbmc_viewer/tracet.py	1	3	14
cbmc_viewer/markup_code.py	cbmc_viewer/resultt.py	1	3	9
cbmc_viewer/markup_code.py	cbmc_viewer/markup_summary.py	1	3	7
cbmc_viewer/markup_code.py	cbmc_viewer/sourcet.py	1	3	8
cbmc_viewer/markup_code.py	cbmc_viewer/loopt.py	1	3	6
cbmc_viewer/markup_trace.py	cbmc_viewer/srcloct.py	1	4	8
cbmc_viewer/markup_trace.py	cbmc_viewer/markup_code.py	1	4	3
cbmc_viewer/propertyt.py	cbmc_viewer/srcloct.py	1	8	8
cbmc_viewer/propertyt.py	cbmc_viewer/markup_code.py	1	8	3
cbmc_viewer/propertyt.py	cbmc_viewer/viewer.py	1	8	6
cbmc_viewer/reachablet.py	cbmc_viewer/srcloct.py	1	8	8
cbmc_viewer/reachablet.py	cbmc_viewer/markup_code.py	1	8	3
cbmc_viewer/reachablet.py	cbmc_viewer/viewer.py	1	8	6
cbmc_viewer/symbolt.py	cbmc_viewer/srcloct.py	1	10	8
cbmc_viewer/symbolt.py	cbmc_viewer/markup_code.py	1	10	3
cbmc_viewer/symbolt.py	cbmc_viewer/optionst.py	1	10	5
cbmc_viewer/make_coverage.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_coverage.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_coverage.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_coverage.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_coverage.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_coverage.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_coverage.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_coverage.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_coverage.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_loop.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_loop.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_loop.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_loop.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_loop.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_loop.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_loop.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_loop.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_loop.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_loop.py	cbmc_viewer/make_coverage.py	1	2	2
cbmc_viewer/make_property.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_property.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_property.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_property.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_property.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_property.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_property.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_property.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_property.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_property.py	cbmc_viewer/make_coverage.py	1	2	2
cbmc_viewer/make_property.py	cbmc_viewer/make_loop.py	1	2	2
cbmc_viewer/make_reachable.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_reachable.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_reachable.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_reachable.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_reachable.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_reachable.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_reachable.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_reachable.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_reachable.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_reachable.py	cbmc_viewer/make_coverage.py	1	2	2
cbmc_viewer/make_reachable.py	cbmc_viewer/make_loop.py	1	2	2
cbmc_viewer/make_reachable.py	cbmc_viewer/make_property.py	1	2	2
cbmc_viewer/make_result.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_result.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_result.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_result.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_result.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_result.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_result.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_result.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_result.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_result.py	cbmc_viewer/make_coverage.py	1	2	2
cbmc_viewer/make_result.py	cbmc_viewer/make_loop.py	1	2	2
cbmc_viewer/make_result.py	cbmc_viewer/make_property.py	1	2	2
cbmc_viewer/make_result.py	cbmc_viewer/make_reachable.py	1	2	2
cbmc_viewer/make_source.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_source.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_source.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_source.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_source.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_source.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_source.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_source.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_source.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_source.py	cbmc_viewer/make_coverage.py	1	2	2
cbmc_viewer/make_source.py	cbmc_viewer/make_loop.py	1	2	2
cbmc_viewer/make_source.py	cbmc_viewer/make_property.py	1	2	2
cbmc_viewer/make_source.py	cbmc_viewer/make_reachable.py	1	2	2
cbmc_viewer/make_source.py	cbmc_viewer/make_result.py	1	2	2
cbmc_viewer/make_symbol.py	cbmc_viewer/coveraget.py	1	3	10
cbmc_viewer/make_symbol.py	cbmc_viewer/tracet.py	1	3	14
cbmc_viewer/make_symbol.py	cbmc_viewer/resultt.py	1	3	9
cbmc_viewer/make_symbol.py	cbmc_viewer/sourcet.py	1	3	8
cbmc_viewer/make_symbol.py	cbmc_viewer/loopt.py	1	3	6
cbmc_viewer/make_symbol.py	cbmc_viewer/propertyt.py	1	3	8
cbmc_viewer/make_symbol.py	cbmc_viewer/reachablet.py	1	3	8
cbmc_viewer/make_symbol.py	cbmc_viewer/make_coverage.py	1	3	2
cbmc_viewer/make_symbol.py	cbmc_viewer/make_loop.py	1	3	2
cbmc_viewer/make_symbol.py	cbmc_viewer/make_property.py	1	3	2
cbmc_viewer/make_symbol.py	cbmc_viewer/make_reachable.py	1	3	2
cbmc_viewer/make_symbol.py	cbmc_viewer/make_result.py	1	3	2
cbmc_viewer/make_symbol.py	cbmc_viewer/make_source.py	1	3	2
cbmc_viewer/make_symbol.py	cbmc_viewer/optionst.py	1	3	5
cbmc_viewer/make_trace.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/make_trace.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/make_trace.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/make_trace.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/make_trace.py	cbmc_viewer/viewer.py	1	2	6
cbmc_viewer/make_trace.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/make_trace.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/make_trace.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/make_trace.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/make_trace.py	cbmc_viewer/make_coverage.py	1	2	2
cbmc_viewer/make_trace.py	cbmc_viewer/make_loop.py	1	2	2
cbmc_viewer/make_trace.py	cbmc_viewer/make_property.py	1	2	2
cbmc_viewer/make_trace.py	cbmc_viewer/make_reachable.py	1	2	2
cbmc_viewer/make_trace.py	cbmc_viewer/make_result.py	1	2	2
cbmc_viewer/make_trace.py	cbmc_viewer/make_source.py	1	2	2
cbmc_viewer/make_trace.py	cbmc_viewer/make_symbol.py	1	2	3
cbmc_viewer/templates/summary.jinja.html	cbmc_viewer/markup_summary.py	1	3	7
cbmc_viewer/MANIFEST.in	setup.py	1	1	8
summary/stubs.py	summary/summary.py	1	1	2
cbmc_viewer/markup_link.py	cbmc_viewer/markup_code.py	1	7	3
cbmc_viewer/markup_link.py	cbmc_viewer/srcloct.py	1	7	8
cbmc_viewer/filet.py	cbmc_viewer/coveraget.py	1	2	10
cbmc_viewer/filet.py	cbmc_viewer/tracet.py	1	2	14
cbmc_viewer/filet.py	cbmc_viewer/resultt.py	1	2	9
cbmc_viewer/filet.py	cbmc_viewer/markup_summary.py	1	2	7
cbmc_viewer/filet.py	cbmc_viewer/sourcet.py	1	2	8
cbmc_viewer/filet.py	cbmc_viewer/loopt.py	1	2	6
cbmc_viewer/filet.py	cbmc_viewer/markup_trace.py	1	2	4
cbmc_viewer/filet.py	cbmc_viewer/propertyt.py	1	2	8
cbmc_viewer/filet.py	cbmc_viewer/reachablet.py	1	2	8
cbmc_viewer/filet.py	cbmc_viewer/symbolt.py	1	2	10
cbmc_viewer/runt.py	cbmc_viewer/reachablet.py	1	2	8